/Kong

Kong is a tool to compute the concurrency relation of a Petri using nets reduction (polyhedral approach).

Primary LanguagePythonGNU General Public License v3.0GPL-3.0

Stargazers