Object Petri Nets: Using the Nets-within-Nets Paradigm

The nets-within-nets paradigm provides an innovative mod- elling technique by giving tokens themselves the structure of a Petri net. These nets, called token nets or object nets, also support the object ori- ented modelling technique as they may represent real world objects with a proper dynamical behaviour. Between object nets and the surrounding net, called system net, various interaction mechanisms exist as well as between different object nets. This introduction into the field of object Petri nets starts with small examples and proceeds by giving formal se- mantics. Some of the examples are modelled within the formalism of the Renew tool. Finally the differences between reference and two kinds of value semantics are discussed.

[1]  Grzegorz Rozenberg,et al.  Advances in Petri Nets 1985 , 1985, Lecture Notes in Computer Science.

[2]  Bernhard Rumpe,et al.  «UML»’99 — The Unified Modeling Language , 2003, Lecture Notes in Computer Science.

[3]  Berndt Farwer.  A Multi-region Linear Logic Based Calculus for Dynamic Petri Net Structures , 2000, Fundam. Informaticae.

[4]  Michael Köhler,et al.  Mobile Object Net Systems: Petri Nets as Active Tokens , 2002 .

[5]  Heiko Rölke,et al.  Concurrency in Mobile Object Net Systems , 2003, Fundam. Informaticae.

[6]  Charles Lakos.  The Role of Substitution Places in Hierarchical Coloured Petri Nets , 1993 .

[7]  Charles Lakos,et al.  From Coloured Petri Nets to Object Petri Nets , 1995, Application and Theory of Petri Nets.

[8]  Adele Goldberg,et al.  SmallTalk 80: The Language , 1989 .

[9]  Berndt Farwer,et al.  Modelling with Hierarchical Object Petri Nets , 2003, Fundam. Informaticae.

[10]  Irina A. Lomazova,et al.  A Systematic Approach towards Object-Based Petri Net Formalisms , 2001, Ershov Memorial Conference.

[11]  Berndt Farwer.  A Linear Logic View of Object Petri Nets , 1999, Fundam. Informaticae.

[12]  Robert Valette,et al.  Application and Theory of Petri Nets 1997 , 1997, Lecture Notes in Computer Science.

[13]  Jörg Desel,et al.  Application and Theory of Petri Nets 1998 , 2000, Lecture Notes in Computer Science.

[14]  Berndt Farwer.  Comparing Concepts of Object Petri Net Formalisms , 2001, Fundam. Informaticae.

[15]  Roberto Moreno-Díaz,et al.  Computer Aided Systems Theory — EUROCAST'97 , 1997, Lecture Notes in Computer Science.

[16]  K. Jiang,et al.  A View to a Kill : Signals Triggering Cytotoxicity 1 , 2002 .

[17]  Grzegorz Rozenberg,et al.  Advances in Petri Nets 1988 , 1987, Lecture Notes in Computer Science.

[18]  Christophe Sibertin-Blanc.  CoOperative Objects: Principles, Use and Implementation , 2001, Concurrent Object-Oriented Programming and Petri Nets.

[19]  Michael Sonnenschein,et al.  Modeling of a Library with THORNs , 2001, Concurrent Object-Oriented Programming and Petri Nets.

[20]  Søren Christensen,et al.  Coloured Petri Nets Extended with Channels for Synchronous Communication , 1992 .

[21]  Daniel Moldt,et al.  Modelling Mobility and Mobile Agents Using Nets within Nets , 2003, ICATPN.

[22]  Eike Best,et al.  Nonsequential Processes: A Petri Net View , 1988 .

[23]  Wilfried Brauer,et al.  Net Theory and Applications , 1980, Lecture Notes in Computer Science.

[24]  Olivier Biberstein.  CO-OPN/2: An Object-Oriented Formalism for the Specification of Concurrent Systems , 1997 .

[25]  Yanbo Han,et al.  Software infrastructure for configurable workflow systems: a model driven approach based on higher order object nets and CORBA , 1997 .

[26]  Frank Wienberg,et al.  Informations- und prozeßorientierte Modellierung verteilter Systeme auf der Basis von Feature-structure-Netzen , 2001 .

[27]  Berndt Farwer,et al.  Dynamic Modification of System Structures Using LLPNs , 2003, Ershov Memorial Conference.

[28]  Grzegorz Rozenberg.  Advances in Petri Nets 1993 , 1991, Lecture Notes in Computer Science.

[29]  Rüdiger Valk.  On Processes of Object Petri Nets , 1996 .

[30]  Nicolas Guelfi,et al.  Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism , 2001, Concurrent Object-Oriented Programming and Petri Nets.

[31]  Rüdiger Valk.  Nets in Computer Organisation , 1986, Advances in Petri Nets.

[32]  M. Masuch,et al.  Beyond Garbage Cans: An AI Model of Organizational Choice , 1989 .

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

[34]  Rüdiger Valk.  Mobile and Distributed Objects versus Central Referencing , 2000, FBT.

[35]  Johan Lilius,et al.  OB(PN)2: An Object Based Petri Net Programming Notation , 2001, Concurrent Object-Oriented Programming and Petri Nets.

[36]  Fiorella de Cindio,et al.  CLOWN as a Testbed for Concurrent Object-Oriented Concepts , 2001, Concurrent Object-Oriented Programming and Petri Nets.

[37]  Michael Köhler,et al.  Object Petri Nets: Definitions, Properties, and Related Models , 2003 .

[38]  Christophe Sibertin-Blanc,et al.  Cooperative Nets , 1994, Application and Theory of Petri Nets.

[39]  Michael Leuschel,et al.  Model checking object petri nets in prolog , 2004, PPDP '04.

[40]  Berndt Farwer,et al.  Linear logic based calculi for object Petri nets , 2000 .

[41]  Michael Köhler.  Decidability Problems for Object Petri Nets , .

[42]  Eike Best,et al.  Nonsequential Processes , 1988, EATCS Monographs on Theoretical Computer Science.

[43]  Daniel Moldt,et al.  A Proposal for Structuring Petri Net-Based Agent Interaction Protocols , 2003, ICATPN.

[44]  Stephan Philippi,et al.  Seamless Object-Oriented Software Development on a Formal Base , 2000 .

[45]  Stephan Philippi.  OOPr/T-Modelle - ein Pr/T-Netz basierter Ansatz zur objektorientierten Modellierung , 1999, AWPN.

[46]  Rüdiger Valk,et al.  Concurrency in Communicating Object Petri Nets , 2001, Concurrent Object-Oriented Programming and Petri Nets.

[47]  Manfred Broy,et al.  Perspectives of System Informatics , 2001, Lecture Notes in Computer Science.

[48]  Michael X Cohen,et al.  A Garbage Can Model of Organizational Choice. , 1972 .

[49]  Wil M. P. van der Aalst,et al.  Inheritance of behavior , 2001, J. Log. Algebraic Methods Program..

[50]  Rüdiger Valk,et al.  Infinite Behaviour and Fairness , 1986 .

[51]  Gul Agha,et al.  Concurrent Object-Oriented Programming and Petri Nets , 2001, Lecture Notes in Computer Science.

[52]  Berndt Farwer,et al.  Mobile Object-Net Systems and their Processes , 2003, Fundam. Informaticae.

[53]  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.

[54]  Holger Giese,et al.  Closing the Gap Between Object-Oriented Modeling of Structure and Behavior , 1999, UML.

[55]  Heiko Rölke,et al.  Reference and Value Semantics Are Equivalent for Ordinary Object Petri Nets , 2005, ICATPN.

[56]  Rüdiger Valk.  Relating Different Semantics for Object Petri Nets Formal Proofs and Examples FBI-HH-B-226/00 , 2000 .

[57]  Vladimír Janousek,et al.  PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling , 1997, EUROCAST.

[58]  Rüdiger Valk,et al.  Petri Nets as Token Objects: An Introduction to Elementary Object Nets , 1998, ICATPN.

[59]  Michael Sonnenschein,et al.  Efficient Simulation of THOR Nets , 1995, Application and Theory of Petri Nets.

[60]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[61]  Giorgio De Michelis,et al.  Application and Theory of Petri Nets 1995 , 1995 .

[62]  Charles Lakos.  Pragmatic Inheritance Issues for Object Petri Nets , 1995 .

[63]  Eike Jessen,et al.  Rechensysteme - Grundlagen der Modellbildung , 1987, Studienreihe Informatik.

[64]  Daniel Moldt,et al.  Pattern Based Workflow Design Using Reference Nets , 2003, Business Process Management.

[65]  C. A. Petri.  Introduction to General Net Theory , 1979, Advanced Course: Net Theory and Applications.

[66]  Wil M. P. van der Aalst,et al.  Applications and Theory of Petri Nets 2003 , 2003, Lecture Notes in Computer Science.