org.processmining.framework.models.petrinet.algorithms
Class CpnWriter

java.lang.Object
  extended by org.processmining.framework.models.petrinet.algorithms.CpnWriter

public class CpnWriter
extends java.lang.Object

Exports a given low-level Petri net to a coloured Petri net representation that can be read by CPN Tools.

Author:
Anne Rozinat
See Also:
PetriNet, CpnExport

Field Summary
static java.lang.String DtdUri
          Gives the location of the Document Type Definition (DTD) specifying the CPN Tools format.
 
Method Summary
static void write(PetriNet net, java.io.BufferedWriter bw)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

DtdUri

public static final java.lang.String DtdUri
Gives the location of the Document Type Definition (DTD) specifying the CPN Tools format.

See Also:
Constant Field Values
Method Detail

write

public static void write(PetriNet net,
                         java.io.BufferedWriter bw)
                  throws java.io.IOException
Parameters:
net - PetriNet the PetriNet to be exported to CPN Tools
bw - BufferedWriter used to stream the data to the file
Throws:
java.io.IOException