🚀 go-pugleaf

Archive-name: auto/comp.theory/LOOPN-Language-for-Object-Oriented-Petri-Nets


I wish to announce the availability of a compiler, simulator and associated
source control for an object-oriented petri net language called LOOPN.

In LOOPN, a petri net is an extension of coloured timed petri nets.  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.  In other words, the declaration of a subnet encapsulates 
constants, types, places, transitions, access functions and parameters.  
These module types may be declared by inheriting from other modules and can 
be used polymorphically.

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

Further details on the syntax of LOOPN, its application and the conditions
under which it is distributed are available in the distribution.

The LOOPN compiler, simulator and associated documentation is available by
anonymous ftp from 
        ftp.utas.edu.au         (131.217.10.1)
as 
        departments/computer_science/loopn.tar.Z

-- 
--
Charles Lakos.                               C.A.Lakos@cs.utas.edu.au
Computer Science Department,                 charles@probitas.cs.utas.edu.au
University of Tasmania,                      Phone:    +61 02 20 2959
Sandy Bay, TAS, Australia.                   Fax:      +61 02 20 2913