CPN Tools

Imports a Petri net from a CPNXML file Package CPNet Version 6.10.125 Input A CPNXML file. Output A (flat) Petri net, created from the first page found in the CPNXML file. Initial markings and inscriptions like “x”, “n`x” and “n`x++m`y++l`z” are recognized, but more complex expressions (like an “if … then … else …”) will … [Read more…]

Imports a Petri net from a CPNXML file Package CPNet Version 6.10.117 Input A CPNXML file. Output A (flat) Petri net, created from the first page found in the CPNXML file. Simple initial markings like “x” and 3`x” are recognized, though from “1`x++2`y” only the “1`x” will be recognized, and so are arc inscriptions like … [Read more…]

Imports a Petri net from a CPNXML file Package CPNet Version 6.10.112 Input A CPNXML file. Output A (flat) Petri net, created from the first page found in the CPNXML file. Initial markings like “()” and 3`()” are recognized, and so are arc inscriptions like that. Graphics information (including layout) is ignored, except for the … [Read more…]

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…]