Modifier and Type | Method and Description |
---|---|
Transition |
OpenNet.addTransition(java.lang.String label,
ExpandableSubNet parent) |
Modifier and Type | Method and Description |
---|---|
ExpandableSubNet |
PetrinetGraph.addGroup(java.lang.String label) |
ExpandableSubNet |
PetrinetGraph.addGroup(java.lang.String label,
ExpandableSubNet parent) |
ExpandableSubNet |
PetrinetEdge.getParent() |
ExpandableSubNet |
PetrinetNode.getParent() |
ExpandableSubNet |
PetrinetGraph.removeGroup(ExpandableSubNet transition) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<ExpandableSubNet> |
PetrinetGraph.getGroups() |
Constructor and Description |
---|
PetrinetEdge(ExpandableSubNet parent,
S source,
T target,
java.lang.String label) |
PetrinetEdge(ExpandableSubNet parent,
S source,
T target,
java.lang.String label,
LocalNodeID localID) |
PetrinetNode(org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent,
java.lang.String label) |
PetrinetNode(org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent,
java.lang.String label,
LocalNodeID localID) |
Constructor and Description |
---|
Arc(PetrinetNode source,
PetrinetNode target,
int weight,
ExpandableSubNet parent) |
ExpandableSubNet(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent) |
InhibitorArc(Place source,
Transition target,
java.lang.String label,
ExpandableSubNet parent) |
Place(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent) |
ResetArc(Place source,
Transition target,
java.lang.String label,
ExpandableSubNet parent) |
Transition(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent) |
Modifier and Type | Field and Description |
---|---|
protected java.util.Set<ExpandableSubNet> |
AbstractResetInhibitorNet.substitutionTransitions |
Modifier and Type | Method and Description |
---|---|
ExpandableSubNet |
AbstractResetInhibitorNet.addGroup(java.lang.String label) |
ExpandableSubNet |
AbstractResetInhibitorNet.addGroup(java.lang.String label,
ExpandableSubNet parent) |
ExpandableSubNet |
AbstractResetInhibitorNet.removeGroup(ExpandableSubNet transition) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<ExpandableSubNet> |
AbstractResetInhibitorNet.getGroups() |
Modifier and Type | Method and Description |
---|---|
Arc |
AbstractResetInhibitorNet.addArc(Place p,
Transition t,
ExpandableSubNet parent) |
Arc |
AbstractResetInhibitorNet.addArc(Place p,
Transition t,
int weight,
ExpandableSubNet parent) |
Arc |
AbstractResetInhibitorNet.addArc(Transition t,
Place p,
ExpandableSubNet parent) |
Arc |
AbstractResetInhibitorNet.addArc(Transition t,
Place p,
int weight,
ExpandableSubNet parent) |
protected Arc |
AbstractResetInhibitorNet.addArcPrivate(PetrinetNode src,
PetrinetNode trgt,
int weight,
ExpandableSubNet parent) |
ExpandableSubNet |
AbstractResetInhibitorNet.addGroup(java.lang.String label,
ExpandableSubNet parent) |
InhibitorArc |
AbstractResetInhibitorNet.addInhibitorArc(Place p,
Transition t,
ExpandableSubNet parent) |
InhibitorArc |
AbstractResetInhibitorNet.addInhibitorArc(Place p,
Transition t,
java.lang.String label,
ExpandableSubNet parent) |
Place |
AbstractResetInhibitorNet.addPlace(java.lang.String label,
ExpandableSubNet parent) |
ResetArc |
AbstractResetInhibitorNet.addResetArc(Place p,
Transition t,
ExpandableSubNet parent) |
ResetArc |
AbstractResetInhibitorNet.addResetArc(Place p,
Transition t,
java.lang.String label,
ExpandableSubNet parent) |
Transition |
AbstractResetInhibitorNet.addTransition(java.lang.String label,
ExpandableSubNet parent) |
ExpandableSubNet |
AbstractResetInhibitorNet.removeGroup(ExpandableSubNet transition) |
Modifier and Type | Field and Description |
---|---|
protected ExpandableSubNet |
PnmlPage.subNet |
Modifier and Type | Method and Description |
---|---|
protected void |
PnmlPage.convertArcsFromNet(PetrinetGraph net,
Marking marking,
ExpandableSubNet parent,
ExpandableSubNet element,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
PnmlPage.PageMap pageMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
protected void |
PnmlPage.convertArcsToNet(PetrinetGraph net,
ExpandableSubNet subNet,
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<?,?>> edgeMap,
java.awt.geom.Point2D.Double displacement,
org.processmining.models.connections.GraphLayoutConnection layout) |
PnmlNode |
PnmlNode.convertFromNet(ExpandableSubNet parent,
org.processmining.models.graphbased.AbstractGraphElement element,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
PnmlArc |
PnmlArc.convertFromNet(ExpandableSubNet parent,
PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> edge,
PnmlPage page,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
PnmlReferencePlace |
PnmlPage.convertFromNet(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) |
PnmlReferencePlace |
PnmlReferencePlace.convertFromNet(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) |
PnmlReferenceTransition |
PnmlPage.convertFromNet(ExpandableSubNet parent,
Transition transition,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
PnmlReferenceTransition |
PnmlReferenceTransition.convertFromNet(ExpandableSubNet parent,
Transition transition,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
PnmlPlace |
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) |
PnmlTransition |
PnmlTransition.convertFromNet(PetrinetGraph net,
ExpandableSubNet parent,
Transition element,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
PnmlPage |
PnmlPage.convertFromNet(PetrinetGraph net,
Marking marking,
ExpandableSubNet parent,
ExpandableSubNet element,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
protected PnmlPage |
PnmlPage.convertGroupsFromNet(PetrinetGraph net,
Marking marking,
ExpandableSubNet parent,
ExpandableSubNet element,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
PnmlPage.PageMap pageMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
protected void |
PnmlPage.convertGroupsToNet(PetrinetGraph net,
ExpandableSubNet subNet,
java.lang.String label,
Marking marking,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Map<java.lang.String,Transition> transitionMap,
java.awt.geom.Point2D.Double displacement,
boolean createGroup,
org.processmining.models.connections.GraphLayoutConnection layout) |
protected void |
PnmlPage.convertNodesFromNet(PetrinetGraph net,
Marking marking,
ExpandableSubNet parent,
ExpandableSubNet element,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
PnmlPage.PageMap pageMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
protected void |
PnmlPage.convertNodesToNet(PetrinetGraph net,
ExpandableSubNet subNet,
Marking marking,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Map<java.lang.String,Transition> transitionMap,
java.awt.geom.Point2D.Double displacement,
org.processmining.models.connections.GraphLayoutConnection layout) |
protected void |
PnmlPage.convertRefNodesToNet(PetrinetGraph net,
ExpandableSubNet subNet,
Marking marking,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Map<java.lang.String,Transition> transitionMap) |
void |
PnmlNode.convertToNet(ExpandableSubNet subNet,
PetrinetNode node,
java.awt.geom.Point2D.Double displacement,
org.processmining.models.connections.GraphLayoutConnection layout) |
void |
PnmlPage.convertToNet(PetrinetGraph net,
ExpandableSubNet subNet,
int pageCtr,
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,
java.awt.geom.Point2D.Double displacement,
boolean createGroup,
org.processmining.models.connections.GraphLayoutConnection layout)
Converts this page to a Petri net.
|
void |
PnmlReferencePlace.convertToNet(PetrinetGraph net,
ExpandableSubNet subNet,
java.util.Map<java.lang.String,Place> map)
Converts this reference place to a regular Petri net place.
|
void |
PnmlArc.convertToNet(PetrinetGraph net,
ExpandableSubNet subNet,
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,
java.awt.geom.Point2D.Double displacement,
org.processmining.models.connections.GraphLayoutConnection layout)
Converts this PNML arc to a regular Petri net arc.
|
void |
PnmlReferenceTransition.convertToNet(PetrinetGraph net,
ExpandableSubNet subNet,
java.util.Map<java.lang.String,Transition> map)
Converts this reference transition object to a regular Petri net
transition.
|
void |
PnmlTransition.convertToNet(PetrinetGraph net,
ExpandableSubNet subNet,
java.util.Map<java.lang.String,Transition> map,
java.awt.geom.Point2D.Double displacement,
org.processmining.models.connections.GraphLayoutConnection layout)
Converts this transition to a Petri net transition.
|
void |
PnmlPlace.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.
|
PnmlPage |
PnmlPage.PageMap.get(ExpandableSubNet group) |
void |
PnmlPage.PageMap.put(ExpandableSubNet group,
PnmlPage page) |
Modifier and Type | Method and Description |
---|---|
protected void |
PnmlPage.convertArcsFromNet(PetrinetGraph net,
Marking marking,
ExpandableSubNet parent,
ExpandableSubNet element,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
PnmlPage.PageMap pageMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
PnmlNode |
PnmlNode.convertFromNet(ExpandableSubNet parent,
org.processmining.models.graphbased.AbstractGraphElement element,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
PnmlArc |
PnmlArc.convertFromNet(ExpandableSubNet parent,
PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> edge,
PnmlPage page,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
PnmlReferencePlace |
PnmlPage.convertFromNet(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) |
PnmlReferencePlace |
PnmlReferencePlace.convertFromNet(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) |
PnmlReferenceTransition |
PnmlPage.convertFromNet(ExpandableSubNet parent,
Transition transition,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
PnmlReferenceTransition |
PnmlReferenceTransition.convertFromNet(ExpandableSubNet parent,
Transition transition,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
PnmlPlace |
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) |
PnmlTransition |
PnmlTransition.convertFromNet(PetrinetGraph net,
ExpandableSubNet parent,
Transition element,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
PnmlNet |
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 |
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) |
PnmlPage |
PnmlPage.convertFromNet(PetrinetGraph net,
Marking marking,
ExpandableSubNet parent,
ExpandableSubNet element,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
protected PnmlPage |
PnmlPage.convertGroupsFromNet(PetrinetGraph net,
Marking marking,
ExpandableSubNet parent,
ExpandableSubNet element,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
PnmlPage.PageMap pageMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
protected void |
PnmlPage.convertNodesFromNet(PetrinetGraph net,
Marking marking,
ExpandableSubNet parent,
ExpandableSubNet element,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
PnmlPage.PageMap pageMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
Modifier and Type | Method and Description |
---|---|
PnmlFinalMarkings |
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) |
PnmlFinalMarking |
PnmlFinalMarking.convertFromOpenNet(java.util.Collection<? extends Place> places,
Marking marking,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> map) |
PnmlPorts |
PnmlPorts.convertFromOpenNet(OpenNetInterface openNetPorts,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> map)
Converts the given collection of ports to Pnml ports.
|
PnmlLabel |
PnmlLabel.convertFromOpenNet(OpenNetLabel sync,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> map) |
PnmlLabelConnection |
PnmlLabelConnection.convertFromOpenNet(OpenNetLabel label,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> map) |
PnmlPort |
PnmlPort.convertFromOpenNet(OpenNetPort openNetPort,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> map) |
Modifier and Type | Method and Description |
---|---|
PnmlArcGraphics |
PnmlArcGraphics.convertFromNet(ExpandableSubNet parent,
org.processmining.models.graphbased.AbstractGraphElement element,
org.processmining.models.connections.GraphLayoutConnection layout) |
PnmlNodeGraphics |
PnmlNodeGraphics.convertFromNet(ExpandableSubNet parent,
org.processmining.models.graphbased.AbstractGraphElement element,
org.processmining.models.connections.GraphLayoutConnection layout) |
PnmlPosition |
PnmlPosition.convertFromNet(ExpandableSubNet parent,
org.processmining.models.graphbased.AbstractGraphElement element,
org.processmining.models.connections.GraphLayoutConnection layout)
Creates a PnmlPosition object for the given element with the given
parent.
|
PnmlPosition |
PnmlPosition.convertFromNet(ExpandableSubNet parent,
java.awt.geom.Point2D point) |
void |
PnmlPosition.convertToNet(ExpandableSubNet subNet,
org.processmining.models.graphbased.AbstractGraphElement element,
java.util.List<java.awt.geom.Point2D> list,
java.awt.geom.Point2D.Double displacement)
Extends the positions of the given graph element (should be an edge) with
this position.
|
void |
PnmlArcGraphics.convertToNet(ExpandableSubNet subNet,
org.processmining.models.graphbased.AbstractGraphElement element,
java.awt.geom.Point2D.Double displacement,
org.processmining.models.connections.GraphLayoutConnection layout)
Sets the graphics for the given graph element.
|
void |
PnmlNodeGraphics.convertToNet(ExpandableSubNet subNet,
org.processmining.models.graphbased.AbstractGraphElement element,
java.awt.geom.Point2D.Double displacement,
org.processmining.models.connections.GraphLayoutConnection layout)
Sets the graphics for the given graph element.
|
void |
PnmlPosition.convertToNet(ExpandableSubNet subNet,
org.processmining.models.graphbased.AbstractGraphElement element,
java.awt.geom.Point2D.Double displacement,
org.processmining.framework.util.Pair<java.awt.geom.Point2D.Double,java.awt.geom.Point2D.Double> boundingBox,
org.processmining.models.connections.GraphLayoutConnection layout)
Sets the position of the given graph element to this position.
|