home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / theory / 2699 < prev    next >
Encoding:
Text File  |  1992-12-14  |  1.9 KB  |  44 lines
  1. Newsgroups: comp.theory
  2. Path: sparky!uunet!munnari.oz.au!newsroom.utas.edu.au!probitas!charles
  3. From: charles@probitas.cs.utas.edu.au (Charles Lakos)
  4. Subject: LOOPN - Language for Object-Oriented Petri Nets
  5. Message-ID: <charles.724396892@probitas>
  6. Sender: news@newsroom.utas.edu.au
  7. Organization: University of Tasmania, Australia.
  8. Date: Tue, 15 Dec 1992 05:21:32 GMT
  9. Lines: 33
  10.  
  11.  
  12. I wish to announce the availability of a compiler, simulator and associated
  13. source control for an object-oriented petri net language called LOOPN.
  14.  
  15. In LOOPN, a petri net is an extension of coloured timed petri nets.  The 
  16. extension means firstly that token types are classes.  In other words, they 
  17. consist of both data fields and functions, they can be declared by 
  18. inheriting from other token types, and they can be used polymorphically.  
  19. The object-oriented extensions also mean that module or subnet types are 
  20. classes.  In other words, the declaration of a subnet encapsulates 
  21. constants, types, places, transitions, access functions and parameters.  
  22. These module types may be declared by inheriting from other modules and can 
  23. be used polymorphically.
  24.  
  25. LOOPN has been developed over a period of about 5 years at the University of
  26. Tasmania, where it has been used in teaching computer simulation and the
  27. modelling of network protocols.
  28.  
  29. Further details on the syntax of LOOPN, its application and the conditions
  30. under which it is distributed are available in the distribution.
  31.  
  32. The LOOPN compiler, simulator and associated documentation is available by
  33. anonymous ftp from 
  34.         ftp.utas.edu.au         (131.217.10.1)
  35. as 
  36.         departments/computer_science/loopn.tar.Z
  37.  
  38. -- 
  39. --
  40. Charles Lakos.                               C.A.Lakos@cs.utas.edu.au
  41. Computer Science Department,                 charles@probitas.cs.utas.edu.au
  42. University of Tasmania,                      Phone:    +61 02 20 2959
  43. Sandy Bay, TAS, Australia.                   Fax:      +61 02 20 2913
  44.