public static class ProcessTree2Petrinet.PetrinetWithMarkings
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
org.processmining.models.semantics.petrinet.Marking |
finalMarking |
org.processmining.models.semantics.petrinet.Marking |
initialMarking |
java.util.Map<ProcessTree2Petrinet.UnfoldedNode,java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> |
mapPath2Transitions |
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,ProcessTree2Petrinet.UnfoldedNode> |
mapTransition2Path |
org.processmining.models.graphbased.directed.petrinet.Petrinet |
petrinet |
Constructor and Description |
---|
PetrinetWithMarkings() |
public org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet
public org.processmining.models.semantics.petrinet.Marking initialMarking
public org.processmining.models.semantics.petrinet.Marking finalMarking
public java.util.Map<ProcessTree2Petrinet.UnfoldedNode,java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> mapPath2Transitions
public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,ProcessTree2Petrinet.UnfoldedNode> mapTransition2Path