CABERNET
CABERNET is a software engineering environment for the specification and analysis of real time systems based on Petri Nets augmented with data, predicates, actions, and temporal information.
- Environment:
- Unix (GNU C++ Compiler required)
- Origin:
- Politecnico di Milano, Italy
- Kind of Nets supported:
- Hierarchical Timed ER Nets
- Functionalities:
- Graphical EDITOR
- SIMULATION: executer and animator
- ANALYSIS: computation of the T-reachability tree for proving properties such as liveness and safety for given time intervals (bounded invariance, bounded response)
- TOOL GENERATION: The basic functionalities provided by the tool can be composed in different ways using a Petri Net based language to obtain new tools.
- Availability:
-
- References:
-
- Notes:
- The tool MERLOT is integrated in CABERNET and supports TB-Nets, a subclass of Timed ER-Nets.
