LOOPN
<language, simulation, Petri net> A {compiler}, {simulator},
and associated {source} control for an {object-oriented}
{Petri net} language developed by Charles Lakos
<[email protected]> 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 {class}es. 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
{polymorphic}ally. 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}.
(ftp://ftp.cs.adelaide.edu.au/pub/OPN/loopn/).
(2000-09-02)