org.processmining.plugins.pnml.extensions.opennet
Class PnmlFinalMarkings
java.lang.Object
org.processmining.plugins.pnml.PnmlElement
org.processmining.plugins.pnml.extensions.opennet.PnmlFinalMarkings
public class PnmlFinalMarkings
- extends PnmlElement
Field Summary |
static java.lang.String |
TAG
|
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
- See Also:
- Constant Field Values
PnmlFinalMarkings
public PnmlFinalMarkings()
importElements
protected boolean importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
- Description copied from class:
PnmlElement
- Imports all standard child elements: None. If some subclass has child
elements, this method needs to be overruled by it.
- Overrides:
importElements
in class PnmlElement
- Returns:
exportElements
protected java.lang.String exportElements(Pnml pnml)
- Description copied from class:
PnmlElement
- Exports all standard elements: None. If some subclass has child elements,
this method needs to be overruled by it.
- Overrides:
exportElements
in class PnmlElement
- Returns:
convertToOpenNet
public void convertToOpenNet(OpenNet openNet,
java.util.Map<java.lang.String,Place> placeMap)
convertFromOpenNet
public PnmlFinalMarkings convertFromOpenNet(java.util.Collection<? extends Place> places,
java.util.Collection<Marking> markings,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> map)