In: Technical Report, Computer Science Department, University of Tasmania, Australia (March 1992).. 1992.
Abstract: This technical report describes 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.