Abstract
This paper proposes an approach to arc extensions in CP-nets which is claimed to be both general and systematic. It is general because the enabling rules cater for true concurrency as well as an interleaving semantics and because it encompasses the other proposals for arc extensions that have been made recently in the Petri Net literature, often in the context of the requirements of specific application domains. It is systematic because it proposes a set of fundamental arcs in the context of a general complementary place construction and then considers how these arcs can be combined in arbitrary ways. Because of the utility of some of these compound arcs and the minimal overhead in implementing them, it is argued that CP-net tools should provide explicit support for them.
Preview
Unable to display preview. Download preview PDF.
References
Billington, J. Extensions to Coloured Petri Nets and their Application to Protocols PhD thesis, Computer Laboratory, University of Cambridge (1988).
Christensen, S. and Hansen, N.D. Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs Proceedings of 14th International Conference on Application and Theory of Petri Nets, Chicago (1993).
Devillers, R. The Semantics of Capacities in P/T Nets Advances in Petri Nets 1989. Lecture Notes in Computer Science vol 424, Springer-Verlag.
Heuser, C.A. and Richter, G. Constructs for Modeling Information Systems with Petri Nets Proceedings of the 13th International Conference on Application and Theory of Petri Nets, Springer Verlag (1992).
Jensen, K. Net Models in System Description PhD thesis, Computer Science Department, Aarhus University, Aarhus, Denmark (1980).
Jensen, K. Coloured Petri Nets, Advances in Petri Nets 1986, Lecture Notes in Computer Science 254, Springer-Verlag.
Jensen, K. Coloured Petri nets: A high level language for system design and analysis Advances in Petri Nets 1990, Lecture Notes in Computer Science 483, Springer Verlag.
Jensen, K. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use Volume 1, EATCS Monographs in Computer Science, Springer Verlag (1992).
Lakos, C.A. LOOPN — Language for Object-Oriented Petri Nets Technical Report 91-1, Department of Computer Science, University of Tasmania (1991).
Lakos, C.A. and Keen, C.D. Modelling Layered Protocols in LOOPN Proceedings of 4th International Workshop on Petri Nets and Performance Models, Melbourne (1991).
Lakos, C.A. and Keen, C.D. Modelling a Door Controller Protocol in LOOPN Proceedings of the TOOLS Europe '93 Conference, (1993).
Lakos, C.A. CP-nets Extended with Place Summary Functions Technical Report TR93-6, Department of Computer Science, University of Tasmania (1993).
Lakos, C.A. and Christensen, S. A General Systematic Approach to Arc Extensions for Coloured Petri Nets Technical Report TR93-8, Computer Science Department, University of Tasmania (1993).
Valmari, A. Stubborn Sets for Coloured Petri Nets Proceedings of 12th International Conference on the Application and Theory of Petri Nets, Aarhus (1991).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lakos, C., Christensen, S. (1994). A general systematic approach to arc extensions for coloured Petri Nets. In: Valette, R. (eds) Application and Theory of Petri Nets 1994. ICATPN 1994. Lecture Notes in Computer Science, vol 815. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58152-9_19
Download citation
DOI: https://doi.org/10.1007/3-540-58152-9_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58152-9
Online ISBN: 978-3-540-48462-2
eBook Packages: Springer Book Archive