org.processmining.processprofiler3d.psen.fileio

Class PNMLHierarchicalExport

java.lang.Object

org.processmining.processprofiler3d.psen.fileio.PNMLHierarchicalExport

public class PNMLHierarchicalExport
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
PNMLHierarchicalExport()

Method Summary

Modifier and Type	Method and Description
void	export(org.processmining.contexts.uitopia.UIPluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet pnet, java.io.File file)
void	WriteArc(java.io.PrintWriter pwriter, org.processmining.models.graphbased.directed.petrinet.elements.Arc a)
void	WriteNodeGraphics(java.io.PrintWriter pwriter, org.processmining.models.graphbased.directed.petrinet.PetrinetNode pn)
void	WritePetriNet(java.io.PrintWriter pwriter, PetriNetDataSource pnet, java.lang.String netName)
void	WritePetriNet(java.io.PrintWriter pwriter, SubNetDataSource pnet)
void	WritePlace(java.io.PrintWriter pwriter, org.processmining.models.graphbased.directed.petrinet.elements.Place p)
void	WriteTransition(java.io.PrintWriter pwriter, org.processmining.models.graphbased.directed.petrinet.elements.Transition t)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PNMLHierarchicalExport

public PNMLHierarchicalExport()

Method Detail

export

public void export(org.processmining.contexts.uitopia.UIPluginContext context,
                   org.processmining.models.graphbased.directed.petrinet.Petrinet pnet,
                   java.io.File file)
            throws java.io.IOException

Throws:

java.io.IOException

WritePetriNet

public void WritePetriNet(java.io.PrintWriter pwriter,
                          PetriNetDataSource pnet,
                          java.lang.String netName)

WritePetriNet

public void WritePetriNet(java.io.PrintWriter pwriter,
                          SubNetDataSource pnet)

WritePlace

public void WritePlace(java.io.PrintWriter pwriter,
                       org.processmining.models.graphbased.directed.petrinet.elements.Place p)

WriteTransition

public void WriteTransition(java.io.PrintWriter pwriter,
                            org.processmining.models.graphbased.directed.petrinet.elements.Transition t)

WriteNodeGraphics

public void WriteNodeGraphics(java.io.PrintWriter pwriter,
                              org.processmining.models.graphbased.directed.petrinet.PetrinetNode pn)

WriteArc

public void WriteArc(java.io.PrintWriter pwriter,
                     org.processmining.models.graphbased.directed.petrinet.elements.Arc a)