Workcraft is a free-to-use framework for interpreted graph models with an elaborate cross-platform GUI for modeling, established tools for verification and synthesis, and the ability to model with Petri nets (e.g. Dining Philosophers). It provides analysis and verification of communication fabrics.
Comments