NETOBJ
NETOBJ (NET OBJect) is a tool for editing and analysing Communicating Petri Nets, realised on the basis of HYPERNET.
- Environment:
- Macintosh
- Origin:
- Lab. Sviluppo Software Didattico, DSI, Univ. d. Studi, Milano, Italy
- Kind of Nets supported:
- Communicating Petri Nets
- Functionalities:
- Graphical EDITOR with syntax checks
- SIMULATION
- ANALYSIS (during simulation) of properties, such as liveness, safeness, reachability
- Availability:
-
- References:
- G. Vitale: NETOBJ: Un Editor di Reti di Petri ad Oggetti [vit91]
