home *** CD-ROM | disk | FTP | other *** search
- Path: sparky!uunet!enterpoop.mit.edu!snorkelwacker.mit.edu!stanford.edu!agate!usenet
- From: charles@probitas.cs.utas.edu.au (Charles Lakos)
- Newsgroups: comp.archives
- Subject: [comp.theory] LOOPN - Language for Object-Oriented Petri Nets
- Followup-To: comp.theory
- Date: 20 Dec 1992 20:57:05 GMT
- Organization: University of Tasmania, Australia.
- Lines: 36
- Sender: adam@soda
- Approved: adam@soda
- Distribution: world
- Message-ID: <1h2mn1INN71o@agate.berkeley.edu>
- References: <charles.724396892@probitas>
- NNTP-Posting-Host: soda.berkeley.edu
- X-Original-Newsgroups: comp.theory
- X-Original-Date: Tue, 15 Dec 1992 05:21:32 GMT
-
- 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
-
-