protected void |
PNSimulator.addAllDifferentTracesToLog(org.deckfour.xes.model.XLog log,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph petriNet,
java.util.LinkedList<VisitState> statesToVisit,
org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,org.processmining.models.graphbased.directed.petrinet.elements.Transition> semantics,
java.util.Map<java.lang.String,java.util.Set<java.lang.Integer>> numberOfDecisionTransitions,
PNSimulatorConfig config,
org.processmining.models.semantics.petrinet.Marking endPlaces) |