Distributed control systems simulation using high level Petri nets

Mathematics and Computers in Simulation

Volumn 46, Issue 1, 1998, Pages 47-55

  Tricas, Fernando ^a   Martínez, Javier ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

Distributed simulation; High level Petri net simulation; Petri nets simulation

Indexed keywords

EID: 0001875681     PISSN: 03784754     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0378-4754(97)00157-2     Document Type: Article

References (7)

1. K. Jensen, Coloured Petri Nets: Basic Concepts, Analysis Method and Practical Use, EATCS Monographs on theoretical Computer Science, Springer, Berlin, Heidelberg, 1992.
2. J. Martínez, P. Muro, M. Silva, High-level Petri nets. Theory and Application, Springer, 1991, pp. 618-623.
3. J. Ezpeleta, J. Martínez, Formal specification and validation in production plants, Proc. 3rd International Conference on Computer Integrated Manufacturing, Troy, New York, May 1992, pp. 64-75.
4. H. Alla, P. Ladet, J. Martínez, M. Silva, Advances in Petri Nets 1984, Modelling and Validation of Complex Systems by Coloured Petri Nets: Application to a Flexible Manufacturing System, Number 188 in Lecture Notes in Computer Science, Springer, 1985, pp. 15-31.
5. M. Silva, Las Redes de Petri en la Automática y la Informática, Editorial AC, Madrid, 1985.
6. J.M. Colom, M. Silva, J.L. Villarroel, Software implementation of Petri nets and colored Petri nets using high-level concurrent languages, Proc of 7th European Workshop on Application and Theory of Petri Nets, Oxford, July 1986, pp. 207-241.
7. J.L. Villarroel, Integración Informática del Control de Sistemas Flexibles de Fabricación, Dpto. de Ingeniería Eléctrica e Informática, PhD Thesis, University of Zaragoza, September 1990.