org.processmining.plugins.pnml
Class PnmlNet

java.lang.Object
  extended by org.processmining.plugins.pnml.PnmlElement
      extended by org.processmining.plugins.pnml.PnmlBasicObject
          extended by org.processmining.plugins.pnml.PnmlNet

public class PnmlNet
extends PnmlBasicObject

Basic PNML net object.

Author:
hverbeek

Field Summary
static java.lang.String TAG
          PNML net tag.
 
Fields inherited from class org.processmining.plugins.pnml.PnmlBasicObject
name, toolSpecificList
 
Fields inherited from class org.processmining.plugins.pnml.PnmlElement
lineNumber, tag
 
Constructor Summary
PnmlNet()
          Creates a fresh PNML net object.
 
Method Summary
protected  void checkValidity(Pnml pnml)
          Check the validity of this net.
 PnmlNet convertFromNet(PetrinetGraph net, Marking marking, 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.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.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.
 
Methods inherited from class org.processmining.plugins.pnml.PnmlBasicObject
convertFromNet, convertToNet, convertToNet, getName
 
Methods inherited from class org.processmining.plugins.pnml.PnmlElement
exportAttribute, exportElement, importElement, importText
 
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

public 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.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.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.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)