Uses of Class
org.jbpt.petri.Transition

Packages that use Transition

Package	Description
org.jbpt.automaton
org.jbpt.petri
org.jbpt.petri.behavior
org.jbpt.petri.querying
org.jbpt.petri.unfolding
org.jbpt.petri.untangling
org.jbpt.petri.untangling.pss
org.jbpt.petri.wftree

Uses of Transition in org.jbpt.automaton

Constructor parameters in org.jbpt.automaton with type arguments of type Transition

Constructor and Description
Automaton(INetSystem<Flow,Node,Place,Transition,Marking> sys)
Automaton(INetSystem<Flow,Node,Place,Transition,Marking> sys, int maxSize)

Uses of Transition in org.jbpt.petri

Fields in org.jbpt.petri with type parameters of type Transition

Modifier and Type	Field and Description
static PetriNetStructuralChecks<Flow,Node,Place,Transition>	PetriNet.STRUCTURAL_CHECKS
static PetriNetTransformations<Flow,Node,Place,Transition>	PetriNet.TRANSFORMATIONS

Constructors in org.jbpt.petri with parameters of type Transition

Constructor and Description
Step(IPetriNet<Flow,Node,Place,Transition> net, Marking inputMarking, Transition transition)
Step(IPetriNet<Flow,Node,Place,Transition> net, Marking inputMarking, Transition transition, Marking outputMarking)

Constructor parameters in org.jbpt.petri with type arguments of type Transition

Constructor and Description
Marking(IPetriNet<Flow,Node,Place,Transition> net)
Run(INetSystem<Flow,Node,Place,Transition,Marking> sys)
Step(IPetriNet<Flow,Node,Place,Transition> net, Marking inputMarking, Transition transition)
Step(IPetriNet<Flow,Node,Place,Transition> net, Marking inputMarking, Transition transition, Marking outputMarking)

Uses of Transition in org.jbpt.petri.behavior

Methods in org.jbpt.petri.behavior that return types with arguments of type Transition

Modifier and Type	Method and Description
Collection<Transition>	LolaSoundnessCheckerResult.getDeadTransitions()
Collection<Transition>	LolaSoundnessCheckerResult.getUncoveredTransitions()

Methods in org.jbpt.petri.behavior with parameters of type Transition

Modifier and Type	Method and Description
void	LolaSoundnessCheckerResult.addDeadTransition(Transition deadTransition)
void	LolaSoundnessCheckerResult.addUncoveredTransition(Transition uncoveredtransition)

Method parameters in org.jbpt.petri.behavior with type arguments of type Transition

Modifier and Type	Method and Description
void	LolaSoundnessCheckerResult.setDeadTransitions(Collection<Transition> deadTransitions)
void	LolaSoundnessCheckerResult.setUncoveredTransitions(Collection<Transition> uncoveredTransitions)

Uses of Transition in org.jbpt.petri.querying

Constructor parameters in org.jbpt.petri.querying with type arguments of type Transition

Constructor and Description
NetSystemQuerying(INetSystem<Flow,Node,Place,Transition,Marking> sys)
NetSystemQuerying(INetSystem<Flow,Node,Place,Transition,Marking> sys, Collection<IProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>> untangling)
NetSystemQuerying(INetSystem<Flow,Node,Place,Transition,Marking> sys, Collection<IProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>> untangling)

Uses of Transition in org.jbpt.petri.unfolding

Constructors in org.jbpt.petri.unfolding with parameters of type Transition

Constructor and Description
Event(ICompletePrefixUnfolding<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> cpu, Transition transition, ICoSet<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> preset)

Constructor parameters in org.jbpt.petri.unfolding with type arguments of type Transition

Constructor and Description
CompletePrefixUnfolding(INetSystem<Flow,Node,Place,Transition,Marking> sys)
CompletePrefixUnfolding(INetSystem<Flow,Node,Place,Transition,Marking> sys, CompletePrefixUnfoldingSetup setup)
Event(ICompletePrefixUnfolding<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> cpu, Transition transition, ICoSet<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> preset)
Event(ICompletePrefixUnfolding<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> cpu, Transition transition, ICoSet<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> preset)
OccurrenceNet(ICompletePrefixUnfolding<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> unf)
OrderingRelationsGraph(IBranchingProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> bp)
ProperCompletePrefixUnfolding(INetSystem<Flow,Node,Place,Transition,Marking> sys)
ProperCompletePrefixUnfolding(INetSystem<Flow,Node,Place,Transition,Marking> sys, CompletePrefixUnfoldingSetup setup)

Uses of Transition in org.jbpt.petri.untangling

Constructor parameters in org.jbpt.petri.untangling with type arguments of type Transition

Constructor and Description
BaselineRepresentativeUntangling(INetSystem<Flow,Node,Place,Transition,Marking> sys)
BaselineRepresentativeUntangling(INetSystem<Flow,Node,Place,Transition,Marking> sys, UntanglingSetup setup)
Process(INetSystem<Flow,Node,Place,Transition,Marking> sys) Construct a process of a net system.
ReductionBasedRepresentativeUntangling(INetSystem<Flow,Node,Place,Transition,Marking> sys)
ReductionBasedRepresentativeUntangling(INetSystem<Flow,Node,Place,Transition,Marking> sys, UntanglingSetup setup)
UntanglingRun(INetSystem<Flow,Node,Place,Transition,Marking> sys)

Uses of Transition in org.jbpt.petri.untangling.pss

Constructor parameters in org.jbpt.petri.untangling.pss with type arguments of type Transition

Constructor and Description
ProcessSetSystem(INetSystem<Flow,Node,Place,Transition,Marking> sys, Collection<IProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>> pis)
ProcessSetSystem(INetSystem<Flow,Node,Place,Transition,Marking> sys, Collection<IProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>> pis)
ProcessSystem(INetSystem<Flow,Node,Place,Transition,Marking> sys, IProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> pi)
ProcessSystem(INetSystem<Flow,Node,Place,Transition,Marking> sys, IProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> pi)

Uses of Transition in org.jbpt.petri.wftree

Constructor parameters in org.jbpt.petri.wftree with type arguments of type Transition

Constructor and Description
WFTree(IPetriNet<Flow,Node,Place,Transition> net)