HYPERNET CE
Hypernet is an application, realized with MetaDesign, which permits to model and analyse complex systems.
- Environment:
- Macintosh
- Origin:
- Lab. Sviluppo SW didattico, DSI, Univ. d. Studi, Milano
- Kind of Nets supported:
- Condition/Event Nets
- Functionalities:
- Graphical EDITOR
- SIMULATION
- ANALYSIS (Reachability Tree and Invariants)for the verification of net properties like pureness, simplicity, liveness, safeness
- The graphical Net description can be transformed in Prolog clauses and exported to other applications
- Availability:
-
- References:
- M. Bondi: HYPERNET - Manuale Utente [bon90]
