LOOPN
loopn (Language for Object-Oriented Petri Nets) is a language and simulator for specifying systems in terms of Coloured Timed Petri Nets. It includes object-oriented features such as inheritance, polymorphism and dynamic binding which allow for the convenient modularisation of complex specifications.
- Environment:
- Unix (yacc, flex and ANSI C compiler required)
- Origin:
- Computer Science Department, University of Tasmania, Australia
- Kind of Nets supported:
- Hierarchical Object Petri Nets
- Functionalities:
- Simulation
- C-code generation
- Object-Oriented Features
- Availability:
-
- References:
-
