|
| [3] | Packages for validating discrete production systems modeled with Petri nets (José-Manuel Colom, Javier Martínez and Manuel Silva), Chapter in Applied Modelling and Simulation of Technological Systems (P. Borne, S.G. Tzafestas, eds.), Elsevier Science Publishers B.V. (North-Holland), 1987. |
| [2] | Manual de uso y mantenimiento del paquete de validación de redes de Petri ARP (Manuel Silva and Javier Martínez), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, 1987. |
| [1] | On the structural computation of synchronic invariants in P/T nets (Manuel Silva), In Proceedings of the Eighth European Workshop on Application and Theory of Petri Nets, 1987. |