Modifier and Type | Method and Description |
---|---|
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> |
PetrinetNode.getGraph() |
Constructor and Description |
---|
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) |
Modifier and Type | Method and Description |
---|---|
ConfigurableFeature<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>,ConfigurableGraphElementOption> |
ConfigurableArc.cloneFor(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> newElement) |
Modifier and Type | Method and Description |
---|---|
ConfigurableFeature<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>,ConfigurableGraphElementOption> |
ConfigurableArc.cloneFor(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> newElement) |
Constructor and Description |
---|
ConfigurableArc(java.lang.String id,
PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> element,
ConfigurableGraphElementOption[] values,
ConfigurableGraphElementOption defaultValue) |
Modifier and Type | Class and Description |
---|---|
class |
Arc |
class |
InhibitorArc |
class |
ResetArc |
Constructor and Description |
---|
ExpandableSubNet(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net) |
ExpandableSubNet(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent) |
Place(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net) |
Place(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent) |
Transition(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net) |
Transition(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> |
AbstractResetInhibitorNet.getEdges() |
Modifier and Type | Method and Description |
---|---|
protected java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,org.processmining.models.graphbased.directed.DirectedGraphElement> |
AbstractResetInhibitorNet.cloneFrom(org.processmining.models.graphbased.directed.DirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> graph) |
Modifier and Type | Method and Description |
---|---|
ConfigurableGraphElementFeature<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> |
ConfigurableGraphElement_UI.ConfigurableArc_UI.getConfigured() |
Constructor and Description |
---|
ConfigurableArc_UI(javax.swing.JComponent root,
ConfigurableGraphElementFeature<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> feature,
int line_height) |
Modifier and Type | Method and Description |
---|---|
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) |
void |
PnmlAnnotation.convertToNet(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> edge) |
void |
PnmlBasicObject.convertToNet(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> edge) |
Modifier and Type | Method and Description |
---|---|
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) |
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 |
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 |
PnmlNet.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.
|
Modifier and Type | Method and Description |
---|---|
void |
PnmlFeature.convertToNet(PetrinetGraph net,
ConfigurableFeatureGroup group,
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) |
void |
PnmlConfiguration.convertToNet(PetrinetGraph net,
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) |
void |
PnmlGroup.convertToNet(PetrinetGraph net,
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) |
Modifier and Type | Method and Description |
---|---|
void |
PnmlToolSpecific.convertFromNet(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> edge) |
void |
PnmlToolSpecific.convertToNet(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> edge) |