Package | Description |
---|---|
org.processmining.models.graphbased.directed.petrinet | |
org.processmining.models.graphbased.directed.petrinet.elements |
Modifier and Type | Method and Description |
---|---|
LocalNodeID |
PetrinetEdge.getLocalID() |
LocalNodeID |
PetrinetNode.getLocalID() |
Modifier and Type | Method and Description |
---|---|
void |
PetrinetEdge.setLocalID(LocalNodeID newLocalID) |
void |
PetrinetNode.setLocalID(LocalNodeID newLocalID) |
Constructor and Description |
---|
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,
LocalNodeID localID) |
Constructor and Description |
---|
Arc(PetrinetNode source,
PetrinetNode target,
int weight,
ExpandableSubNet parent,
LocalNodeID id) |
ExpandableSubNet(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent,
LocalNodeID id) |
InhibitorArc(Place source,
Transition target,
java.lang.String label,
ExpandableSubNet parent,
LocalNodeID id) |
Place(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent,
LocalNodeID id) |
ResetArc(Place source,
Transition target,
java.lang.String label,
ExpandableSubNet parent,
LocalNodeID id) |
Transition(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent,
LocalNodeID id) |