pierreganty/mist
Safety checker for Petri Nets (and monotonic extensions)
Discovered public repositories for pierreganty in the GitHub catalog.
Safety checker for Petri Nets (and monotonic extensions)
Public repository.
http://richmodels.epfl.ch/ntscomp