Workcraft is a free-to-use framework for interpreted graph models.
Main features:
- Elaborate cross-platform GUI for modeling.
- Established tools for verification and synthesis.
- Modeling with Petri nets: Dining philosophers.
- Analysis and verification of communication fabrics.
Comments