In: Proceedings 6th Software Engineering Conference, Sydney, pages 203-216. 1991.
Abstract: LOOPN is a language and simulator for specifying systems in terms of coloured timed petri nets. It includes object-oriented features such as subtyping, inheritance and polymorphism which allow for the convenient modularisation of complex specifications. This paper describes the evolution of LOOPN and the experience that has been gained in its use both for discrete event simulation purposes and more specifically for modelling network protocols.