On the Abstraction of Coloured Petri Nets

This paper considers the appropriate properties for abstract net components in the Coloured Petri Net formalism. In doing so, it attempts to maintain the duality between places and transitions which is so foundational to Petri Net theory. It also defines what it means to execute the net at an abstract level.

[1]  Peter Huber,et al.  Hierarchies in coloured Petri nets , 1991, Applications and Theory of Petri Nets.

[2]  Gernot Richter,et al.  Netzmodelle für die Bürokommunikation. Teil 2 , 1983, Inform. Spektrum.

[3]  Christophe Sibertin-Blanc.  A Client-Server Protocol for the Composition of Petri Nets , 1993, Application and Theory of Petri Nets.

[4]  Giancarlo Mauri,et al.  OBJSA Nets: a Class of High- level Nets Having Objects as Domains , 1987, European Workshop on Applications and Theory of Petri Nets.

[5]  C. A. Petri.  "Forgotten Topics" of Net Theory , 1986, Advances in Petri Nets.

[6]  Søren Christensen,et al.  A General Systematic Approach to Arc Extensions for Coloured Petri Nets , 1994, Application and Theory of Petri Nets.

[7]  Didier Buchs,et al.  Structured Algebraic Nets with Object-Orientation , 1995 .

[8]  Hartmann J. Genrich,et al.  Predicate/Transition Nets , 1986, Advances in Petri Nets.

[9]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Basic Concepts , 1992 .

[10]  Charles Lakos,et al.  The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets , 1996, Application and Theory of Petri Nets.

[11]  P. S. Thiagarajan.  Elementary Net Systems , 1986 .

[12]  Jorge C. A. de Figueiredo,et al.  Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems , 1993, Application and Theory of Petri Nets.

[13]  Jörg Desel,et al.  Vicinity respecting net morphisms , 1991, Applications and Theory of Petri Nets.

[14]  Wolfgang Reisig,et al.  Application and Theory of Petri Nets , 1982, Informatik-Fachberichte.

[15]  Nicolas Guelfi,et al.  OPEN DISTRIBUTED PROGRAMMING USING THE OBJECT ORIENTED SPECIFICATION FORMALISM CO-OPN , 1992 .

[16]  E. Battiston,et al.  Class orientation and inheritance in modular algebraic nets , 1993, Proceedings of IEEE Systems Man and Cybernetics Conference - SMC.

[17]  Rainer Fehling,et al.  A Concept of Hierarchical Petri Nets with Building Blocks , 1991, Applications and Theory of Petri Nets.

[18]  Glynn Winskel,et al.  Petri Nets, Algebras, Morphisms, and Compositionality , 1987, Inf. Comput..