/mist

Safety checker for Petri Nets (and monotonic extensions)

Primary LanguagePythonGNU General Public License v3.0GPL-3.0

Stargazers