Skip to content

Latest commit

 

History

History
3 lines (3 loc) · 195 Bytes

File metadata and controls

3 lines (3 loc) · 195 Bytes

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.