Snaps by Kenneth Yrke Joergensen

TAPAAL is free software for modeling and verification of Petri nets

3.9.3