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.
Mall Creeps
