TAPAAL is free software for modeling and verification of Petri nets

3.9.3