CPNXML export (Petri net)

Exports a Petri net to a CPNXML file. Package PetriNets Version 6.10.149 Input A Petri net Output A CPNXML (.cpn) file that can be imported by CPN Tools. The CPN model will have a single page that contains the Petri net. All places will have the color “Token”, which is basically an integer (serves as … [Read more…]