LOOPN System Manual
This technical report documents the choices made in implementing LOOPN, a language and simulator for specifying systems in terms of object-oriented timed petri nets. The petri nets supported are a variant of coloured petri nets with the inclusion of simulated time and object-oriented features such as subtyping, inheritance and polymorphism, which encourage the convenient modularisation of complex specifications.
Kewords and phrases
Coloured petri nets, object-oriented languages, network protocols, simulation