org.processmining.plugins.pnml.elements

Class PnmlPlace

java.lang.Object

org.processmining.plugins.pnml.base.PnmlElement

org.processmining.plugins.pnml.elements.PnmlBasicObject

org.processmining.plugins.pnml.elements.PnmlNode

org.processmining.plugins.pnml.elements.PnmlPlace

public class PnmlPlace
extends PnmlNode

Basic PNML place object.

Author:

hverbeek

Field Summary

Fields

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

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

graphics, id

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

name, toolSpecificList

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

factory, lineNumber, tag

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	PnmlPlace() Creates a fresh PNML place.

Method Summary

Modifier and Type	Method and Description
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 org.processmining.plugins.pnml.elements.PnmlNode

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

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

convertFromNet, convertToNet, convertToNet, getName

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

exportAttribute, exportElement, 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

PNML place tag.

See Also:

Constant Field Values

Constructor Detail

PnmlPlace

protected PnmlPlace()

Creates a fresh PNML place.

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,
                         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)