|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |