A graphical Petri net modelling and verifications tool
Primary LanguageC++GNU General Public License v3.0GPL-3.0