LOOPN System Manual

CA Lakos

April 1992

Abstract
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

CR categories
B.4.4, F.1.1