public class PnmlNet extends PnmlBasicObject
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
TAG
PNML net tag.
|
name, toolSpecificList
factory, lineNumber, tag
Modifier | Constructor and Description |
---|---|
protected |
PnmlNet()
Creates a fresh PNML net object.
|
Modifier and Type | Method and Description |
---|---|
protected void |
checkValidity(Pnml pnml)
Check the validity of this net.
|
PnmlNet |
convertFromNet(PetrinetGraph net,
Marking marking,
java.util.Collection<Marking> netFinalMarkings,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
int id,
org.processmining.models.connections.GraphLayoutConnection layout) |
PnmlNet |
convertFromNet(PetrinetGraph net,
Marking marking,
java.util.Collection<Marking> netFinalMarkings,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
int id,
java.util.Map<java.lang.String,org.processmining.models.graphbased.AbstractGraphElement> map,
org.processmining.models.connections.GraphLayoutConnection layout) |
void |
convertToNet(PetrinetGraph net,
Marking marking,
java.util.Collection<Marking> netFinalMarkings,
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,
org.processmining.models.connections.GraphLayoutConnection layout)
Convert this net to a Petri net.
|
protected java.lang.String |
exportAttributes(Pnml pnml)
Exports all known attributes (id and type).
|
protected java.lang.String |
exportElements(Pnml pnml)
Exports all pages.
|
protected void |
importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Imports all known attributes (id and type).
|
protected boolean |
importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Checks whether the current start tag is known.
|
void |
setName(java.lang.String name) |
convertFromNet, convertToNet, convertToNet, getName
exportAttribute, exportElement, importElement, importText, setFactory
public static final java.lang.String TAG
protected void importAttributes(org.xmlpull.v1.XmlPullParser xpp, Pnml pnml)
importAttributes
in class PnmlElement
protected java.lang.String exportAttributes(Pnml pnml)
exportAttributes
in class PnmlElement
protected boolean importElements(org.xmlpull.v1.XmlPullParser xpp, Pnml pnml)
importElements
in class PnmlBasicObject
protected java.lang.String exportElements(Pnml pnml)
exportElements
in class PnmlBasicObject
protected void checkValidity(Pnml pnml)
checkValidity
in class PnmlElement
public void convertToNet(PetrinetGraph net, Marking marking, java.util.Collection<Marking> netFinalMarkings, 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, org.processmining.models.connections.GraphLayoutConnection layout)
net
- Where to store the net.marking
- Where to store the initial marking.placeMap
- Places found so far.transitionMap
- Transitions found so far.public PnmlNet convertFromNet(PetrinetGraph net, Marking marking, java.util.Collection<Marking> netFinalMarkings, java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap, int id, org.processmining.models.connections.GraphLayoutConnection layout)
public PnmlNet convertFromNet(PetrinetGraph net, Marking marking, java.util.Collection<Marking> netFinalMarkings, java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap, int id, java.util.Map<java.lang.String,org.processmining.models.graphbased.AbstractGraphElement> map, org.processmining.models.connections.GraphLayoutConnection layout)
public void setName(java.lang.String name)