Abstract
This chapter addresses the use of modular model structuring mechanisms for the design of embedded systems, using reactive Petri nets. Relevant characteristics of reactive Petri nets are briefly presented. One graphical hierarchical structuring mechanism named horizontal decomposition is presented. This mechanism relies on the usage of macronodes, which have subnets associated with them and can be seen as a generalization of widely known mechanisms available in several Petri nets tools. Three types of macronodes are used: macroplace, macrotransition, and macroblock. The model execution is accomplished through the execution of the model’s flat representation. Additional folding mechanisms are proposed through the introduction of a vector notation associated with nodes and external signals. A running example of a controller for a 3-cell first-in-firstout system is used illustrating the several modular construction mechanisms. High-level and low-level Petri net models are used and compared for this purpose. A modular composition operation is presented and its use in the controller’s design is exemplified. Finally, an overview of distinct field programmable gate array (FPGA)-based implementation strategies for the referred controller is discussed.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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).
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).
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).
Luca Bernardinello, Fiorella De Cindio; A survey of basic net models and modular net classes. In: Advances inPetri Nets 1992; Lecture Notes in Computer Science, G. Rozenberg (ed.). Springer-Verlag (1992).
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).
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.
Ken Chapman; “Picoblaze”; www.xilinx.com
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.
R. David, H. Alla, Petri Nets & Grafcet; Tools for Modelling Discrete Event Systems. Prentice Hall International (UK) Ltd; ISBN 0-13-327537-X (1992).
Claude Girault, Rüdiger Valk, Petri Nets for Systems Engineering—A Guide to Modelling, Verification, and Applications, Springer-Verlag, ISBN 3-540-41217-4 (2003).
Luis Gomes, Redes de Petri Reactivas e Hierárquicas—Integração de Formalismos no Projecto de Sistemas Reactivos de Tempo-Real (in Portuguese). Universidade Nova de Lisboa 318 pp. (1997).
Luis Gomes, João Paulo Barros, Using hierarchical structuring mechanisms with Petri nets forPLDbased system design. In: Workshop on Discrete-Event System Design, DESDes’01, 27–29 June 2001; Zielona Gora, Poland, (2001).
Luis Gomes, João Paulo Barros, On structuring mechanisms for Petri nets based system design. In: Proceedings of ETFA’2003–2003 IEEE Conference on Emerging Technologies and Factory Automation Proceedings, September, 16–19, 2003, Lisbon, Portugal; IEEE Catalog Number 03TH86961 ISBN 0-7803-7937-3.
Luis Gomes, Adolfo Steiger-Garção, Programmable controller design based on a synchronized colored Petri net model and integrating fuzzy reasoning. In: Application and Theory of Petri Nets’95; Giorgio De Michelis, Michel Diaz (eds.); Lecture Notes in Computer Science; Vol. 935; Springer, Berlin, pp. 218–237 (1995).
David Harel, Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8, 231–274 (1987).
Xudong He, John A. N. Lee. A methodology for constructing predicate transition net specifications. Software-Practice and Experience, 21(8), 845–875 (August 1991).
P. Huber, K. Jensen, R.M. Shapiro, Hierarchies in Coloured Petri Nets. In: Advances in Petri Nets 1990, Lecture Nores in Computer Science, Vol. 483, G. Rozenberg (ed.); pp. 313–341 (1990).
Kurt Jensen, Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Vol. 1. Springer-Verlag, ISBN 3-540-55597-8 (1992).
Manuel Silva, Las Redes dePetri: En laAutomática y la Informática. Editorial AC, Madrid, ISBN 84 7288 045 1 (1985).
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer Science+Business Media, Inc.
About this chapter
Cite this chapter
Gomes, L., Barros, J.P., Costa, A. (2005). Structuring Mechanisms in Petri Net Models. In: Design of Embedded Control Systems. Springer, Boston, MA. https://doi.org/10.1007/0-387-28327-7_13
Download citation
DOI: https://doi.org/10.1007/0-387-28327-7_13
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-23630-8
Online ISBN: 978-0-387-28327-2
eBook Packages: EngineeringEngineering (R0)