| [1] | Packages for validating discrete production systems modeled with Petri nets (José-Manuel Colom, Javier MartÃnez and Manuel Silva), In Proceedings of the IMACS-IFAC Symposium on Modelling and Simulation for Control of Lumped and Distributed Parameter Systems, 1986. |