Uses of Class
org.processmining.framework.models.petrinet.Transition

Packages that use Transition
org.processmining.analysis.conformance Contains classes related to the Conformance Analysis Plugin. 
org.processmining.analysis.performance   
org.processmining.converting   
org.processmining.converting.wfnet2bpel.pattern   
org.processmining.exporting.bpel4ws   
org.processmining.exporting.petrinet.cpnexport   
org.processmining.exporting.petrinet.cpnexport.HLImplementation   
org.processmining.framework.models.pdm   
org.processmining.framework.models.petrinet   
org.processmining.framework.models.petrinet.algorithms   
org.processmining.framework.models.petrinet.algorithms.logReplay   
org.processmining.framework.models.petrinet.pattern   
org.processmining.importing.owfn   
org.processmining.importing.petrify   
 

Uses of Transition in org.processmining.analysis.conformance
 

Subclasses of Transition in org.processmining.analysis.conformance
 class DiagnosticTransition
          The diagnostic transition can be enhanced by diagnostic information to be stored during log replay and will be used to form a part of the diagnostic Petri net.
 

Methods in org.processmining.analysis.conformance that return Transition
protected  Transition DiagnosticPetriNet.makeTransition(Transition template, ReplayedPetriNet targetNet, java.util.ArrayList caseIDs)
          Reproduces a transition based on the given transition. Produces a DiagnosticTransition.
 

Methods in org.processmining.analysis.conformance that return types with arguments of type Transition
 java.util.Set<Transition> DiagnosticTransition.getAlwaysFollows()
          Retrieves the tasks that were always followed the given task in the log (but only sometimes in the model.
 java.util.Set<Transition> DiagnosticTransition.getAlwaysPrecedes()
          Retrieves the tasks that were always preceded the given task in the log (but only sometimes in the model.
 java.util.Set<Transition> DiagnosticTransition.getNeverFollows()
          Retrieves the tasks that were never followed the given task in the log (but sometimes in the model.
 java.util.Set<Transition> DiagnosticTransition.getNeverPrecedes()
          Retrieves the tasks that were never preceded the given task in the log (but sometimes in the model.
 java.util.ArrayList<Transition> StructuralAnalysisResult.getRedundantInvisibleTasks()
          Retrieves the list of redundant invisible tasks that have detected by the reduction rule analysis in ProM.
 

Methods in org.processmining.analysis.conformance with parameters of type Transition
 void DiagnosticTransition.addAlwaysFollows(Transition trans)
          Record that this task was always followed by the given task in the log (but only sometimes in the model.
 void DiagnosticTransition.addAlwaysPrecedes(Transition trans)
          Record that this task was always preceded by the given task in the log (but only sometimes in the model.
 void DiagnosticTransition.addNeverFollows(Transition trans)
          Record that this task was never followed by the given task in the log (but sometimes in the model.
 void DiagnosticTransition.addNeverPrecedes(Transition trans)
          Record that this task was never preceded by the given task in the log (but sometimes in the model.
 void StructuralAnalysisResult.addRedundantInvisibleTask(Transition trans)
          Adds the given invisible transition to the list of redundant invisible tasks for this petri net.
protected  void StateSpaceExplorationMethod.checkForAlternativeDuplicateTasks(java.util.ArrayList<Transition> path, Transition trans)
          Helper method in order to detect non-alternative duplicate tasks and remove them from the set of duplicate tasks (such that in the end only alternative duplicate tasks remain in that list.
protected  PNEdge DiagnosticPetriNet.makeEdge(PNEdge template, Place sourceNode, Transition targetNode, ReplayedPetriNet targetNet, java.util.ArrayList caseIDs)
          Reproduces an edge based on the given edge (Direction: Place -> Transition). Produces a DiagnosticPNEdge.
protected  PNEdge DiagnosticPetriNet.makeEdge(PNEdge template, Transition sourceNode, Place targetNode, ReplayedPetriNet targetNet, java.util.ArrayList caseIDs)
          Reproduces an edge based on the given edge (Direction: Transition -> Place). Produces a DiagnosticPNEdge.
protected  Transition DiagnosticPetriNet.makeTransition(Transition template, ReplayedPetriNet targetNet, java.util.ArrayList caseIDs)
          Reproduces a transition based on the given transition. Produces a DiagnosticTransition.
 

Method parameters in org.processmining.analysis.conformance with type arguments of type Transition
protected  void StateSpaceExplorationMethod.checkForAlternativeDuplicateTasks(java.util.ArrayList<Transition> path, Transition trans)
          Helper method in order to detect non-alternative duplicate tasks and remove them from the set of duplicate tasks (such that in the end only alternative duplicate tasks remain in that list.
protected  void StateSpaceExplorationMethod.evaluatePath(java.util.ArrayList<Transition> path)
          Builds up the log event relations for the given execution sequence.
protected  void StateSpaceExplorationMethod.tracePathsInStateSpace(java.util.ArrayList<Transition> currentPath, StateSpace coverabilityGraph, State currentState, java.util.HashSet<ModelGraphEdge> passedEdges, java.util.HashSet<ModelGraphEdge> blockedEdges)
          Recursive helper method for tracing different execution sequences of tasks in the process model (state space).
 

Constructors in org.processmining.analysis.conformance with parameters of type Transition
DiagnosticTransition(Transition t, PetriNet net, java.util.ArrayList caseIDs)
          The constructor creates a normal transition but additionally initializes the diagnostic information for every process instance specified.
 

Uses of Transition in org.processmining.analysis.performance
 

Subclasses of Transition in org.processmining.analysis.performance
 class ExtendedTransition
          This class is used to be able to extend a transition with performance information, which is stored during log replay and will be used as part of the extended Petri net.
 

Methods in org.processmining.analysis.performance that return Transition
protected  Transition ExtendedPetriNet.makeTransition(Transition template, ReplayedPetriNet targetNet, java.util.ArrayList caseIDs)
          Reproduces a transition based on the given transition. Produces an ExtendedTransition.
 

Methods in org.processmining.analysis.performance with parameters of type Transition
protected  PNEdge ExtendedPetriNet.makeEdge(PNEdge template, Place sourceNode, Transition targetNode, ReplayedPetriNet targetNet, java.util.ArrayList caseIDs)
          Reproduces an edge based on the given edge (Direction: Place -> Transition). Produces an ExtendedPNEdge.
protected  PNEdge ExtendedPetriNet.makeEdge(PNEdge template, Transition sourceNode, Place targetNode, ReplayedPetriNet targetNet, java.util.ArrayList caseIDs)
          Reproduces an edge based on the given edge (Direction: Transition -> Place). Produces a ExtendedPNEdge.
protected  Transition ExtendedPetriNet.makeTransition(Transition template, ReplayedPetriNet targetNet, java.util.ArrayList caseIDs)
          Reproduces a transition based on the given transition. Produces an ExtendedTransition.
 

Constructors in org.processmining.analysis.performance with parameters of type Transition
ExtendedTransition(Transition t, PetriNet net, java.util.ArrayList caseIDs)
          Calls the constructor of its superclass
 

Uses of Transition in org.processmining.converting
 

Methods in org.processmining.converting with parameters of type Transition
static java.util.HashSet<PNNode> WFNetToYAWL.getSphere(PetriNet net, Transition labeledTransition, boolean isJoin)
          Construct the join/split sphere for the given transition in ht egiven Petri net.
 java.lang.String WFNetToEPC.getType(Transition sphereTransition, java.util.HashSet<PNNode> sphere, boolean isJoin)
          Determine the join/split type of the task corresponding to the given transition.
static java.lang.String WFNetToYAWL.getType(Transition sphereTransition, java.util.HashSet<PNNode> sphere, boolean isJoin)
          Determine the join/split type of the task corresponding to the given transition.
 

Uses of Transition in org.processmining.converting.wfnet2bpel.pattern
 

Method parameters in org.processmining.converting.wfnet2bpel.pattern with type arguments of type Transition
static BPELActivity BPELPatternMatcher.substituteActivities(BPELActivity activity, java.util.ArrayList<Transition> transitions, java.util.Map<java.lang.String,BPELActivity> annotations, java.util.Map<att.grappa.Node,att.grappa.Node> isomorphism)
           
 

Uses of Transition in org.processmining.exporting.bpel4ws
 

Methods in org.processmining.exporting.bpel4ws that return Transition
static Transition PetriNetNavigation.getTransition(att.grappa.Edge arc)
          Returns the transition end of the input arc
 

Methods in org.processmining.exporting.bpel4ws that return types with arguments of type Transition
static java.util.Vector<Transition> PetriNetNavigation.getIncomingTransitions(att.grappa.Node n)
           
static java.util.Vector<Transition> PetriNetNavigation.getOutgoingTransitions(att.grappa.Node n)
           
 

Uses of Transition in org.processmining.exporting.petrinet.cpnexport
 

Subclasses of Transition in org.processmining.exporting.petrinet.cpnexport
 class ColoredTransition
          A transition being part of a high-level Petri net simulation model.
 

Constructors in org.processmining.exporting.petrinet.cpnexport with parameters of type Transition
ColoredEdge(Place source, Transition target)
          The constructor creates a ColoredEdge from a ColoredPlace to a ColoredTransition.
ColoredEdge(Transition source, Place target)
          The constructor creates a ColoredEdge from a ColoredTransition to a ColoredPlace.
ColoredTransition(Transition template, ColoredPetriNet net)
          The constructor creates a ColoredTransition from an ordinary transition.
ColoredTransition(Transition template, ColoredPetriNet net, int x, int y, int w, int h)
          The constructor creates a ColoredTransition from an ordinary transition, but the position, width and height can be provided
 

Uses of Transition in org.processmining.exporting.petrinet.cpnexport.HLImplementation
 

Methods in org.processmining.exporting.petrinet.cpnexport.HLImplementation that return Transition
 Transition HLPetriNet.findTransition(HLTransition hlTrans)
          Finds the corresponding original transition in the process model.
 

Methods in org.processmining.exporting.petrinet.cpnexport.HLImplementation with parameters of type Transition
 HLTransition HLPetriNet.findHLTransition(Transition trans)
          Returns the HLTransition object belonging to the given transition.
 

Uses of Transition in org.processmining.framework.models.pdm
 

Subclasses of Transition in org.processmining.framework.models.pdm
 class PDMTransition
          Title:
 

Uses of Transition in org.processmining.framework.models.petrinet
 

Fields in org.processmining.framework.models.petrinet with type parameters of type Transition
protected  java.util.HashMap<java.lang.String,java.util.HashSet<Transition>> oWFNet.inputs
           
protected  java.util.HashMap<java.lang.String,java.util.HashSet<Transition>> oWFNet.outputs
           
 

Methods in org.processmining.framework.models.petrinet that return Transition
 Transition PetriNet.addAndLinkTransition(Transition t)
          Adds a given Transition to this Petri net.
 Transition PetriNet.addTransition(LogEvent e)
          Deprecated. Please now use addTransition(Transition t);
 Transition PetriNet.addTransition(Transition t)
          Adds a given transition to this Petri net.
 Transition PetriNet.findRandomTransition(LogEvent lme)
          Finds a transition having the specified log event.
 Transition PetriNet.findTransition(LogEvent lme)
          Deprecated. Please use findTransition(Transition t) instead
 Transition PetriNet.findTransition(Transition t)
          Finds a transition in the Petri net which is equal to the given one (based on the equals method).
 Transition PNEdge.getTransition()
           
static Transition PetriNetNavigation.getTransition(att.grappa.Edge arc)
          Returns the transition end of the input arc
 Transition TransitionCluster.getTransition(int i)
          Gets a transition from the cluster based on the given index.
 

Methods in org.processmining.framework.models.petrinet that return types with arguments of type Transition
static java.util.List<Transition> PetriNetNavigation.getIncomingTransitions(att.grappa.Node n)
           
 java.util.HashMap<java.lang.String,java.util.HashSet<Transition>> oWFNet.getInputs()
           
static java.util.Vector<Transition> PetriNetNavigation.getOutgoingTransitions(att.grappa.Node n)
           
 java.util.HashMap<java.lang.String,java.util.HashSet<Transition>> oWFNet.getOutputs()
           
 java.util.ArrayList<Transition> PetriNet.getTransitions()
          Gets the Transition nodes contained in this Petri net.
 

Methods in org.processmining.framework.models.petrinet with parameters of type Transition
 boolean PetriNet.addAndLinkEdge(PNEdge e, Place p, Transition t)
          Adds a given edge from the given place (source node) to the given transition (target node).
 boolean PetriNet.addAndLinkEdge(PNEdge e, Transition t, Place p)
          Adds an edge from the given transition (source node) to the given place (target node).
 Transition PetriNet.addAndLinkTransition(Transition t)
          Adds a given Transition to this Petri net.
 boolean PetriNet.addEdge(Place p, Transition t)
          Adds a new PNEdge from the given place (source node) to the given transition (target node).
 boolean PetriNet.addEdge(Transition t, Place p)
          Adds an edge from the given transition (source node) to the given place (target node).
 void oWFNet.addInput(java.lang.String name, Transition transition)
           
 void oWFNet.addOutput(Transition transition, java.lang.String name)
           
 Transition PetriNet.addTransition(Transition t)
          Adds a given transition to this Petri net.
 boolean TransitionCluster.addTransition(Transition t)
          Adds a transition to this cluster.
 void PetriNet.delTransition(Transition t)
          Deletes a given transition to this Petri net.
 Transition PetriNet.findTransition(Transition t)
          Finds a transition in the Petri net which is equal to the given one (based on the equals method).
 

Constructors in org.processmining.framework.models.petrinet with parameters of type Transition
PNEdge(Place p, Transition t)
          Constructor creates an edge from the given place to the given transition.
PNEdge(Transition t, Place p)
          Constructor creates an edge from the given transition to the given place.
Transition(Transition t)
          Copy Constructor.
 

Uses of Transition in org.processmining.framework.models.petrinet.algorithms
 

Methods in org.processmining.framework.models.petrinet.algorithms that return Transition
static Transition PetriNetShortCircuiter.shortCircuit(PetriNet net)
           
 

Uses of Transition in org.processmining.framework.models.petrinet.algorithms.logReplay
 

Subclasses of Transition in org.processmining.framework.models.petrinet.algorithms.logReplay
 class ReplayedTransition
          A transition involved in the log replay analysis method.
 

Methods in org.processmining.framework.models.petrinet.algorithms.logReplay that return Transition
protected  Transition ReplayedPetriNet.makeTransition(Transition template, ReplayedPetriNet targetNet, java.util.ArrayList caseIDs)
          Reproduces a transition based on the given transition.
 

Methods in org.processmining.framework.models.petrinet.algorithms.logReplay with parameters of type Transition
protected  PNEdge ReplayedPetriNet.makeEdge(PNEdge template, Place sourceNode, Transition targetNode, ReplayedPetriNet targetNet, java.util.ArrayList caseIDs)
          Reproduces an edge based on the given edge (Direction: Place -> Transition).
protected  PNEdge ReplayedPetriNet.makeEdge(PNEdge template, Transition sourceNode, Place targetNode, ReplayedPetriNet targetNet, java.util.ArrayList caseIDs)
          Reproduces an edge based on the given edge (Direction: Transition -> Place).
protected  Transition ReplayedPetriNet.makeTransition(Transition template, ReplayedPetriNet targetNet, java.util.ArrayList caseIDs)
          Reproduces a transition based on the given transition.
 

Constructors in org.processmining.framework.models.petrinet.algorithms.logReplay with parameters of type Transition
ReplayedEdge(Place source, Transition target, java.util.ArrayList caseIDs)
          The constructor creates a normal PNEdge but additionally initializes the diagnostic data structures.
ReplayedEdge(Transition source, Place target, java.util.ArrayList caseIDs)
          The constructor creates a normal PNEdge but additionally initializes the diagnostic data structures.
ReplayedTransition(Transition t, PetriNet net, java.util.ArrayList caseIDs)
          The constructor creates a normal transition but additionally initializes the diagnostic information for every process instance specified.
 

Uses of Transition in org.processmining.framework.models.petrinet.pattern
 

Methods in org.processmining.framework.models.petrinet.pattern that return types with arguments of type Transition
static Pair<Transition,java.util.Set<att.grappa.Node>> PatternMatcher.reduce(PetriNet wfnet, PetriNet component)
           
 

Uses of Transition in org.processmining.importing.owfn
 

Methods in org.processmining.importing.owfn with parameters of type Transition
 java.lang.String oWFNImport.parseEdges(java.lang.String contents, oWFNet petriNet, Transition transition, boolean isInput)
          Read a list of weighted places, and store it as preset (isInput = true) or postset (isInpuyt = false) of the given transition in the given open WF net.
 

Uses of Transition in org.processmining.importing.petrify
 

Methods in org.processmining.importing.petrify that return Transition
static Transition PetrifyReader.findTransition(java.lang.String st, java.util.ArrayList<Transition> transitions)
           
 

Method parameters in org.processmining.importing.petrify with type arguments of type Transition
static Transition PetrifyReader.findTransition(java.lang.String st, java.util.ArrayList<Transition> transitions)