The nets-within-nets paradigm provides an innovative modelling technique by giving tokens themselves the structure of a Petri net. These nets, called token nets or object nets, also support the object oriented 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 semantics. 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.
CITATION STYLE
Baresi, L., & Pezzè, M. (2001). Concurrent Object-Oriented Programming and Petri Nets. On formalizing UML with high-level petri nets (pp. 276 – 304). Springer Berlin Heidelberg. Retrieved from https://play.google.com/store/books/details?id=H4CkzgEACAAJ https://play.google.com/store/books/details?id=U6exzgEACAAJ https://play.google.com/store/books/details?id=OP9uzgEACAAJ https://play.google.com/store/books/details?id=h-u7zgEACAAJ
Mendeley helps you to discover research relevant for your work.