In: Technical Report, Computer Science Department, University of Tasmania, Australia (April 1992).. 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.