Package org.processmining.plugins.pnml.elements

Class PnmlNet

java.lang.Object

org.processmining.plugins.pnml.base.PnmlElement

org.processmining.plugins.pnml.elements.PnmlBasicObject

org.processmining.plugins.pnml.elements.PnmlNet

public class PnmlNet
extends PnmlBasicObject

Basic PNML net object.

Author:

hverbeek

Field Summary

Fields

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

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	Description
protected	PnmlNet()	Creates a fresh PNML net object.

Method Summary

Modifier and Type	Method	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, java.util.Map<java.lang.String,org.processmining.models.graphbased.AbstractGraphElement> map, 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, 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)

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 net tag.

See Also:

Constant Field Values

Constructor Detail

PnmlNet

protected PnmlNet()

Creates a fresh PNML net object.

Method Detail

importAttributes

protected void importAttributes(org.xmlpull.v1.XmlPullParser xpp,
                                Pnml pnml)

Imports all known attributes (id and type).

Overrides:

importAttributes in class PnmlElement

exportAttributes

protected java.lang.String exportAttributes(Pnml pnml)

Exports all known attributes (id and type).

Overrides:

exportAttributes in class PnmlElement

Returns:

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 PnmlBasicObject

Returns:

Whether the start tag was known.

exportElements

protected java.lang.String exportElements(Pnml pnml)

Exports all pages.

Overrides:

exportElements in class PnmlBasicObject

Returns:

checkValidity

protected void checkValidity(Pnml pnml)

Check the validity of this net. It should have an id and a type.

Overrides:

checkValidity in class PnmlElement

convertToNet

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)

Convert this net to a Petri net.

Parameters:

net - Where to store the net.

marking - Where to store the initial marking.

placeMap - Places found so far.

transitionMap - Transitions found so far.

convertFromNet

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)

convertFromNet

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)

setName

public void setName(java.lang.String name)