Performance evaluation of petri nets execution algorithms

Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

Volumn , Issue , 2007, Pages 1400-1407

  Moreno, Ramón Piedrafita ^a   Salcedo, José Luis Villarroel ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DYNAMIC PROGRAMMING; MATHEMATICAL MODELS; PARAMETER ESTIMATION; PROGRAMMABLE LOGIC CONTROLLERS;

BEHAVIOURAL INFORMATION; ENABLED TRANSITIONS;

PETRI NETS;

EID: 40949162367     PISSN: 1062922X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSMC.2007.4413868     Document Type: Conference Paper

References (19)

1. T. Murata. Petri nets: Properties, Analysis and Applications. Proc. of the IEEE, 77(4), 1989, 541-580.
2. M. Silva and S. Velilla. Programmable logic controllers and Petri Nets: A comparative study. In Proc. of the Third IFAC/IFIP Symposium, Software for Computer Control1982, pages 83-88. Pergamon Press, 1982.
3. R. Valette, M. Courvoisier, J.M. Bigou, and J. Alburkerque. A Petri net based programmable logic controller. In Proc. of IFIP Conference on Computer Applications inProduction Engineering, CAP, pages 103-116, 1983.
4. R. David y H. Alla. Petri Nets & Grafcet. Prentice Hall. 1992.
5. J.M. Colom, M. Silva, and J.L. Villarroel. On software implementation of Petri nets and coloured Petri nets using high-level concurrent languages. In Proc of 7th European Workshop on Application and Theory of Petri Nets, pages 207-241, Oxford, July 1986.
6. D. Taubner. On the implementation of Petri Nets. In G. Rozenberg, H. Genrich, and G. Roucairol, editors, Advances in Petri Nets 1988, volume 340 of Lecture Notes in Computer Sciences, pages 418-439. Springer-Verlag, Berlin, Germany, 1988.
7. J.L. Villarroel. Integración Informática del Control de Sistemas Flexibles de Fabricación. PhD thesis, Dpto. de Ingenieria Eléctrica e Informática, Universidad de Zaragoza, Septiembre 1990.
8. F.J. Garcia, J.L. Villarroel: "Modelling and Ada Implementation of Real-Time Systems using Time Petri Nets," Proc. of the 21st IFAC/IFIP Workshop on Real-Time Programming. Gramado - RS, Brazil, November 1996.
9. J.L. Briz. Técnicas de implementación de redes de Petri. PhD thesis, Univ. Zaragoza, 1995.
10. R. Valette and B. Bako. Software implementation of Petri Nets and compilation of rule-based systems. In 11th International Conference on Application and Theory ofPetri Nets, pages 27-29, Paris, France, June 1990.
11. The Real-Time forjava Expert Group. The Real-time Specification for Java. https://rtsj.dev.java.net/. Addison Wesley, 2000.
12. R. Piedrafita and J.L. Villarroel. Petri nets and Java. Real-Time Control of a flexible manufacturing cell. 11th IEEE International Conference on Emerging Technologies and Factory Automation. Prague, September 2006.
13. R. Piedrafita and J.L. Villarroel. Implementation of Time Petri Nets in Real-time Java. The 4th International Workshop on Java Technologies for Real-rime and Embedded Systems - JTRES 2006. Paris, October 2006.
14. Aicas GmbH. JamaicaVM Realtime Java Technology. http://www.aicas.com/ jamaica.html
15. J. Ezpeleta and J.M. Colom and J. Martinez: "A Petri net based deadlock prevention policy for flexible manufacturing systems". IEEE Transactions on Robotics and Automation, Vol. 11, N. 2, pp. 173-184, April 1995
16. K. Jensen, "Coloured petri nets". In W. Brauer, W. Rdsig, and G. Rozenberg, editors, Petri Nets: Central Models and Their Properties, pages 248-299. Springer-Verlag, 1987. LNCS 254.
17. Dijkstra E. W.: Hierarchical ordering of sequential processes. Acta Informática, vol.1, pp. 111-127
18. S. Velilla. Lógica Programada y Redes de Petri. PhD thesis, Dpto. de Ingenieria Eléctrica e Informática, Universidad de Zaragoza, 1987.
19. B. Bako. Mise en oeuvre et simulation du niveau coordination de la commande des ateliers flexibles: une approche mixte reseaux de Petri et systemes de regles. PhD thesis, Universite Paul Sabatier de Toulouse, 7, avenue du Colonel Roche, 31077 Toulouse, Cedex, France, 1990.