/pn-boundedness

Petri network - boundedness algorithm. It works with .pflow files which generates http://pneditor.org.

Primary LanguageJavaGNU General Public License v3.0GPL-3.0

No issues in this repository yet.