Structuring mechanisms in Petri net models: From specification to FPGA-based implementations

Design of Embedded Control Systems

Volumn , Issue , 2005, Pages 153-166

  Gomes, Luís ^a   Barros, João Paulo ^a,b   Costa, Anikó ^a  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^b INSTITUTO POLITÉCNICO DE BEJA   (Portugal)

Author keywords

field programmable gate arrays; modular design; Petri nets; programmable logic devices; structuring mechanisms

Indexed keywords

EID: 34547246946     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/0-387-28327-7_13     Document Type: Chapter

References (9)

1. João Paulo Barros, Luís Gomes, Modifying Petri net models by means of crosscutting operations. In: Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD'2003); Guimarães, Portugal (18-20 June 2003).
2. João Paulo Barros, Luís Gomes, Operational PNML: Towards a PNML support for model construction and modification. In: Workshop on the Definition, Implementation and Application of a Standard Interchange Format for Petri Nets; Satellite event at the International Conference on Application and Theory of Petri Nets 2004, Bologna, Italy (June 26, 2004).
3. João Paulo Barros, Luís Gomes, Net model composition and modification by net operations: A pragmatic approach. In: Proceedings of the 2nd IEEE International Conference on Industrial Informatics (INDIN'04), Berlin, Germany (24-26 June, 2004).
4. Luca Bernardinello, Fiorella De Cindio; A survey of basic net models and modular net classes. In: Advances in Petri Nets 1992; Lecture Notes in Computer Science, G. Rozenberg (ed.). Springer-Verlag (1992).
5. Jonathan Billington, Søren Christensen, Kees van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, Michael Weber, The Petri net markup language: Concepts, technology, and tools. In: W. van der Aalst, E. Best (ed.), Proceeding of the 24th International Conference on Application and Theory of Petri Nets, LNCS, Vol. 2679, p. 483-505, Eindhoven, Holland, Springer-Verlag. (June 2003).
6. Peter Buchholz, Hierarchical high level Petri nets for complex system analysis. In: R. Valette (ed.) Application and Theory of Petri Nets 1994, Proceedings of 15th International Conference, Zaragoza, Spain, Lecture Notes in Computer Science Vol. 815, pp. 119-138, (1994) Springer-Verlag.
7. Ken Chapman; "Picoblaze"; www.xilinx.com
8. Søren Christensen, N. D. Hansen. Coloured Petri nets extended with channels for synchronous communication. Application and Theory of Petri Nets 1994, Proceedings of 15th International Conference, Zaragoza, Spain, Lecture Notes in Computer Science Vol. 815, (1994), pp. 159-178.
9. R. David, H. Alla, Petri Nets & Grafcet; Tools for Modelling Discrete Event Systems. Prentice Hall International (UK) Ltd; ISBN 0-13-327537-X (1992).