Package org.processmining.exporting.petrinet

Class Summary
CpnExport Exports a given low-level Petri net to a coloured Petri net representation that can be read by CPN Tools.
DgdExport Title:
PNKernelExport  
PnmlExport  
StateSpaceExportToFSM Title:
TpnExport