org.processmining.plugins.pnml

Class PnmlPage

java.lang.Object

org.processmining.plugins.pnml.PnmlElement

org.processmining.plugins.pnml.PnmlBasicObject

org.processmining.plugins.pnml.PnmlNode

org.processmining.plugins.pnml.PnmlPage

public class PnmlPage
extends PnmlNode

Basic PNML page object.

Author:

hverbeek

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	TAG PNML page tag.

Fields inherited from class org.processmining.plugins.pnml.PnmlNode

graphics, id

Fields inherited from class org.processmining.plugins.pnml.PnmlBasicObject

name, toolSpecificList

Fields inherited from class org.processmining.plugins.pnml.PnmlElement

lineNumber, tag

Constructor Summary

Constructors

Constructor and Description
PnmlPage() Create a fresh PNML page object.
PnmlPage(java.lang.String tag)

Method Summary

Methods

Modifier and Type	Method and Description
PnmlReferencePlace	convertFromNet(ExpandableSubNet parent, Place place, java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap, org.processmining.models.connections.GraphLayoutConnection layout)
PnmlReferenceTransition	convertFromNet(ExpandableSubNet parent, Transition transition, java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap, org.processmining.models.connections.GraphLayoutConnection layout)
PnmlPage	convertFromNet(PetrinetGraph net, Marking marking, ExpandableSubNet parent, ExpandableSubNet element, java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap, org.processmining.models.connections.GraphLayoutConnection layout)
void	convertToNet(PetrinetGraph net, ExpandableSubNet subNet, int pageCtr, Marking marking, java.util.Map<java.lang.String,Place> placeMap, java.util.Map<java.lang.String,Transition> transitionMap, java.util.Map<java.lang.String,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> edgeMap, java.awt.geom.Point2D.Double displacement, boolean createGroup, org.processmining.models.connections.GraphLayoutConnection layout) Converts this page to a Petri net.
protected java.lang.String	exportElements(Pnml pnml) Exports all child elements.
org.processmining.framework.util.Pair<java.awt.geom.Point2D.Double,java.awt.geom.Point2D.Double>	getPageBoundingBox() Gets the bounding box for all nodes on this page.
protected boolean	importElements(org.xmlpull.v1.XmlPullParser xpp, Pnml pnml) Checks whether the current start tag is known.

Methods inherited from class org.processmining.plugins.pnml.PnmlNode

checkValidity, convertFromNet, convertToNet, exportAttributes, getBoundingBox, getGraphics, importAttributes

Methods inherited from class org.processmining.plugins.pnml.PnmlBasicObject

convertFromNet, convertToNet, convertToNet, getName

Methods inherited from class org.processmining.plugins.pnml.PnmlElement

exportAttribute, exportElement, importElement, importText

Methods inherited from class java.lang.Object

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

Field Detail

TAG

public static final java.lang.String TAG

PNML page tag.

See Also:

Constant Field Values

Constructor Detail

PnmlPage

public PnmlPage()

Create a fresh PNML page object.

PnmlPage

public PnmlPage(java.lang.String tag)

Method Detail

importElements

protected boolean importElements(org.xmlpull.v1.XmlPullParser xpp,
                     Pnml pnml)

Checks whether the current start tag is known. If known, it imports the corresponding child element and returns true. Otherwise, it returns false.

Overrides:

importElements in class PnmlNode

Returns:

Whether the start tag was known.

exportElements

protected java.lang.String exportElements(Pnml pnml)

Exports all child elements.

Overrides:

exportElements in class PnmlNode

Returns:

convertToNet

public void convertToNet(PetrinetGraph net,
                ExpandableSubNet subNet,
                int pageCtr,
                Marking marking,
                java.util.Map<java.lang.String,Place> placeMap,
                java.util.Map<java.lang.String,Transition> transitionMap,
                java.util.Map<java.lang.String,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> edgeMap,
                java.awt.geom.Point2D.Double displacement,
                boolean createGroup,
                org.processmining.models.connections.GraphLayoutConnection layout)

Converts this page to a Petri net.

Parameters:

net - Where to store the net.

subNet - Where to store the sub net.

marking - Where to store the initial marking.

placeMap - Places found so far.

transitionMap - Transitions found so far.

getPageBoundingBox

public org.processmining.framework.util.Pair<java.awt.geom.Point2D.Double,java.awt.geom.Point2D.Double> getPageBoundingBox()

Gets the bounding box for all nodes on this page.

Returns:

The bounding box for all nodes on this page.

convertFromNet

public PnmlPage convertFromNet(PetrinetGraph net,
                      Marking marking,
                      ExpandableSubNet parent,
                      ExpandableSubNet element,
                      java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
                      org.processmining.models.connections.GraphLayoutConnection layout)

convertFromNet

public PnmlReferencePlace convertFromNet(ExpandableSubNet parent,
                                Place place,
                                java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
                                org.processmining.models.connections.GraphLayoutConnection layout)

convertFromNet

public PnmlReferenceTransition convertFromNet(ExpandableSubNet parent,
                                     Transition transition,
                                     java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
                                     org.processmining.models.connections.GraphLayoutConnection layout)