Package | Description |
---|---|
org.processmining.glueminer.algorithms |
Modifier and Type | Field and Description |
---|---|
Behaviors |
TokenReplayer.behaviors |
Constructor and Description |
---|
PlaceAdditionTriager(Behaviors behaviors,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking,
PlacesMemorizer placesMemorizer,
java.util.Map<java.lang.String,org.processmining.models.graphbased.directed.petrinet.elements.Transition> activitiesTransition) |
TokenReplayer(Behaviors behaviors,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking) |