LOOPN(ID:2186/loo009)

Petri net language 

for Language for Object-Oriented Petri Nets

A compiler, simulator, and associated source control for an object-oriented Petri net language developed by Charles Lakos at the University of Tasmania. In LOOPN, a Petri net is an extension of a coloured timed Petri net. The extension means firstly that token types are classes. In other words, they consist of both data fields and functions, they can be declared by inheriting from other token types, and they can be used polymorphically. The object-oriented extensions also mean that module or subnet types are classes.

LOOPN has been developed over a period of about five years at the University of Tasmania, where it has been used in teaching computer simulation and the modelling of network protocols.
  

Structures:
Related languages
LOOPN => LOOPN++   Evolution of
References:
  • LOOPN --- Language for Object-Oriented Petri Nets. Lakos, C.A.; Keen, C.D. In: Simulation Series, Vol. 23, No. 3; Proceedings of the SCS Multiconference on Object-Oriented Simulation, 1991, Anaheim, USA, pages 22-30. San Diego, USA: Society for Computer Simulation, 1990. view details 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.
  • Lakos, Carl "LOOPN - Language for Object-Oriented Petri Nets" University of Tasmania Report R91-1 view details 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 specification
  • Lakos, Charles "A General Systematic Approach to Arc Extensions for Coloured Petri Nets" Technical Report TR93-8. Computer Science Department, University of Tasmania, 1994 view details
  • Lakos, Charles "Object Petri Nets - Definition and Relationship to Coloured Nets" Technical Report TR94-3. Computer Science Department, University of Tasmania, 1994 view details
    Resources
    • FTP

      "
    • Object Petri Net Research at the University of Adelaide
      external link