Package org.processmining.plugins.pnml.elements.extensions.opennet

Class PnmlFinalMarkings

java.lang.Object

org.processmining.plugins.pnml.base.PnmlElement

org.processmining.plugins.pnml.elements.extensions.opennet.PnmlFinalMarkings

public class PnmlFinalMarkings
extends PnmlElement

Field Summary

Fields

Modifier and Type	Field	Description
static java.lang.String	TAG

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

factory, lineNumber, tag

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	PnmlFinalMarkings()

Method Summary

Modifier and Type	Method	Description
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)
void	convertToNet(PetrinetGraph net, java.util.Map<java.lang.String,Place> placeMap, java.util.Collection<Marking> finalMarkings)
void	convertToOpenNet(OpenNet openNet, java.util.Map<java.lang.String,Place> placeMap)
protected java.lang.String	exportElements(Pnml pnml)	Exports all standard elements: None.
protected boolean	importElements(org.xmlpull.v1.XmlPullParser xpp, Pnml pnml)	Imports all standard child elements: None.

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

checkValidity, exportAttribute, exportAttributes, exportElement, importAttributes, importElement, importText, setFactory

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

See Also:

Constant Field Values

Constructor Detail

PnmlFinalMarkings

protected PnmlFinalMarkings()

Method Detail

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)

convertToNet

public void convertToNet(PetrinetGraph net,
                         java.util.Map<java.lang.String,Place> placeMap,
                         java.util.Collection<Marking> finalMarkings)

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)