Modelling Network Protocols with Object Petri Nets
C. Lakos, JW Lamp, CD Keen, BW Marriott · 1995
: 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. 1 Introduction For a long time, computer network protocols have motivated research in concurrent systems. Their increasing complexity has fuelled ever-increasing budgets and human resource demands for developing and maintaining the associated software. This has provided an impetus for flexible software development environments capable of handling concurrent systems and maximising software reuse; and for formal techniques which can ensure software reliability. Petri Nets have been one formalism which has been applied to net...