tool: LOOPN
-
Language:
|
LOOPN
|
|---|
-
Version:
|
?
|
|---|
-
Parts:
|
compiler?, simulator
|
|---|
-
Author:
|
?
|
|---|
-
Location:
|
ftp://ftp.utas.edu.au/departments/computer_sci*/loopn.tar.Z
|
|---|
-
Description:
|
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. 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. A petri net is a directed, bipartite graph;
nodes are either places (represented by circles) or transitions
(represented by rectangles). A net is marked by placing tokens
on places. When all the places pointing to a transition (the
input places) have a token, the net may be fired by removing a
token from each input place and adding a token to each place
pointed to by the transition (the output places). Petri nets
are used to model concurrent systems, particularly in the
network protocol area.
|
|---|
-
Contact:
|
Charles Lakos <charles@probitas.cs.utas.edu.au>
|
|---|
-
Updated:
|
December 20th, 1992
|
|---|
category: concurrent, parellel, and simulation languages
summary, or
expanded.
|
|