An small and efficient C++ tool to analyze Petri nets.
Primary LanguageC++GNU General Public License v3.0GPL-3.0