/examples

Contains APT-files of Petri nets with transits and Petri games with transits which can be used with AdamMC and AdamSYNT.

Primary LanguagePythonGNU General Public License v3.0GPL-3.0

Examples for AdamMC and AdamSYNT

A collection of APT-files of Petri nets with transits and Petri games with transits which can be used with AdamMC and AdamSYNT.