org.processmining.plugins.pnml
Class PnmlPlace
java.lang.Object
org.processmining.plugins.pnml.PnmlElement
org.processmining.plugins.pnml.PnmlBasicObject
org.processmining.plugins.pnml.PnmlNode
org.processmining.plugins.pnml.PnmlPlace
public class PnmlPlace
- extends PnmlNode
Basic PNML place object.
- Author:
- hverbeek
Field Summary |
static java.lang.String |
TAG
PNML place tag. |
Constructor Summary |
PnmlPlace()
Creates a fresh PNML place. |
Method Summary |
PnmlPlace |
convertFromNet(Marking marking,
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)
|
void |
convertToNet(PetrinetGraph net,
ExpandableSubNet subNet,
Marking marking,
java.util.Map<java.lang.String,Place> map,
java.awt.geom.Point2D.Double displacement,
org.processmining.models.connections.GraphLayoutConnection layout)
Converts this place to a Petri net place. |
protected java.lang.String |
exportElements(Pnml pnml)
Exports all child elements. |
protected boolean |
importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Checks whether the current start tag is known. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TAG
public static final java.lang.String TAG
- PNML place tag.
- See Also:
- Constant Field Values
PnmlPlace
public PnmlPlace()
- Creates a fresh PNML place.
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,
Marking marking,
java.util.Map<java.lang.String,Place> map,
java.awt.geom.Point2D.Double displacement,
org.processmining.models.connections.GraphLayoutConnection layout)
- Converts this place to a Petri net place.
- Parameters:
net
- Net to add this place to.subNet
- Sub net to add this place to.marking
- Marking to add the initial marking of this place to.map
- Places found so far.
convertFromNet
public PnmlPlace convertFromNet(Marking marking,
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)