In: Workshop on Petri Nets Applied to Protocols, pages 31-42. 1995.
Abstract: This paper examines how object-oriented extensions to the Petri Net formalism can address a number of issues in the modelling of network protocols. The object-oriented extensions lead to the formalism of Object Petri Nets, with a textual language form referred to as LOOPN++. The paper considers practical examples for which clean, well-structured models can be created because of the support for modularity, inheritance, polymorphism, genericity, and mobile objects.