A textual format to manipulate high-level colored Petri nets. Compatible with PNML.
Primary LanguageJavaGNU General Public License v3.0GPL-3.0