Package org.processmining.tbr

Class TokenBasedReplay

  • public class TokenBasedReplay
extends java.lang.Object

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static TokenBasedReplayResultLog apply​(org.processmining.framework.plugin.PluginContext context, org.deckfour.xes.model.XLog log, org.processmining.acceptingpetrinet.models.AcceptingPetriNet acceptingPetriNet)  
      static TokenBasedReplayResultLog applyTokenBasedReplay​(org.deckfour.xes.model.XLog log, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.processmining.models.semantics.petrinet.Marking im, org.processmining.models.semantics.petrinet.Marking fm, java.lang.String activityKey)  
      static TokenBasedReplayResultTrace applyTokenBasedReplayToVariant​(java.lang.String var, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.processmining.models.semantics.petrinet.Marking im, org.processmining.models.semantics.petrinet.Marking fm, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,​java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,​java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition>>> invisiblesDictionary, java.util.Map<java.lang.String,​org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionsMap, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​org.processmining.models.semantics.petrinet.Marking> preDict, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​org.processmining.models.semantics.petrinet.Marking> postDict)  
      static java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition> enableTransThroughInvisibles​(org.processmining.models.semantics.petrinet.Marking marking, org.processmining.models.semantics.petrinet.Marking preMarking, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,​java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,​java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition>>> invisiblesDictionary)  
      static org.processmining.models.semantics.petrinet.Marking fireTransition​(org.processmining.models.semantics.petrinet.Marking m, org.processmining.models.graphbased.directed.petrinet.elements.Transition t, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​org.processmining.models.semantics.petrinet.Marking> preDict, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​org.processmining.models.semantics.petrinet.Marking> postDict)  
      static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getEnabledTransitions​(org.processmining.models.semantics.petrinet.Marking m, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​org.processmining.models.semantics.petrinet.Marking> preDict)  
      static java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,​java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,​java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition>>> getInvisiblesDictionary​(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)  
      static java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​org.processmining.models.semantics.petrinet.Marking> getPostMarking​(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)  
      static java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​org.processmining.models.semantics.petrinet.Marking> getPreMarking​(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)  
      static boolean markingEquals​(org.processmining.models.semantics.petrinet.Marking m1, org.processmining.models.semantics.petrinet.Marking m2)  
      static java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition> reachFmThroughInvisibles​(org.processmining.models.semantics.petrinet.Marking marking, org.processmining.models.semantics.petrinet.Marking finalMarking, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,​java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,​java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition>>> invisiblesDictionary)  

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • TokenBasedReplay

        public TokenBasedReplay()

    • Method Detail

      • apply

        public static TokenBasedReplayResultLog apply​(org.processmining.framework.plugin.PluginContext context,
                                              org.deckfour.xes.model.XLog log,
                                              org.processmining.acceptingpetrinet.models.AcceptingPetriNet acceptingPetriNet)

      • applyTokenBasedReplay

        public static TokenBasedReplayResultLog applyTokenBasedReplay​(org.deckfour.xes.model.XLog log,
                                                              org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
                                                              org.processmining.models.semantics.petrinet.Marking im,
                                                              org.processmining.models.semantics.petrinet.Marking fm,
                                                              java.lang.String activityKey)

      • applyTokenBasedReplayToVariant

        public static TokenBasedReplayResultTrace applyTokenBasedReplayToVariant​(java.lang.String var,
                                                                         org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
                                                                         org.processmining.models.semantics.petrinet.Marking im,
                                                                         org.processmining.models.semantics.petrinet.Marking fm,
                                                                         java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,​java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,​java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition>>> invisiblesDictionary,
                                                                         java.util.Map<java.lang.String,​org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionsMap,
                                                                         java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​org.processmining.models.semantics.petrinet.Marking> preDict,
                                                                         java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​org.processmining.models.semantics.petrinet.Marking> postDict)

      • markingEquals

        public static boolean markingEquals​(org.processmining.models.semantics.petrinet.Marking m1,
                                    org.processmining.models.semantics.petrinet.Marking m2)

      • reachFmThroughInvisibles

        public static java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition> reachFmThroughInvisibles​(org.processmining.models.semantics.petrinet.Marking marking,
                                                                                                                                 org.processmining.models.semantics.petrinet.Marking finalMarking,
                                                                                                                                 java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,​java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,​java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition>>> invisiblesDictionary)

      • enableTransThroughInvisibles

        public static java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition> enableTransThroughInvisibles​(org.processmining.models.semantics.petrinet.Marking marking,
                                                                                                                                     org.processmining.models.semantics.petrinet.Marking preMarking,
                                                                                                                                     java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,​java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,​java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition>>> invisiblesDictionary)

      • getEnabledTransitions

        public static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getEnabledTransitions​(org.processmining.models.semantics.petrinet.Marking m,
                                                                                                                             java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​org.processmining.models.semantics.petrinet.Marking> preDict)

      • fireTransition

        public static org.processmining.models.semantics.petrinet.Marking fireTransition​(org.processmining.models.semantics.petrinet.Marking m,
                                                                                 org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
                                                                                 java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​org.processmining.models.semantics.petrinet.Marking> preDict,
                                                                                 java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​org.processmining.models.semantics.petrinet.Marking> postDict)

      • getPreMarking

        public static java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​org.processmining.models.semantics.petrinet.Marking> getPreMarking​(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)

      • getPostMarking

        public static java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​org.processmining.models.semantics.petrinet.Marking> getPostMarking​(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)

      • getInvisiblesDictionary

        public static java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,​java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,​java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition>>> getInvisiblesDictionary​(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)