Uses of Class
org.oristool.petrinet.Transition

Packages that use Transition

Package	Description
org.oristool.models.pn	Analysis of Petri nets.
org.oristool.models.stpn.trees	Calculus of stochastic state classes.
org.oristool.models.tpn	Analysis of TPNs.
org.oristool.petrinet	Petri net representation.
org.oristool.simulator	Simulator framework.
org.oristool.simulator.stpn	Provides classes for the simulation of STPNs.

Uses of Transition in org.oristool.models.pn

Methods in org.oristool.models.pn that return types with arguments of type Transition

Modifier and Type	Method	Description
Set<Transition>	PetriStateFeature.getDisabled()
Set<Transition>	PetriStateFeature.getEnabled()
EnabledEventsBuilder<PetriNet,Transition>	PetriComponentsFactory.getEnabledEventsBuilder()
Set<Transition>	PetriStateFeature.getNewlyEnabled()
Set<Transition>	PetriStateFeature.getPersistent()
Set<Transition>	ResetSet.getResetSet()
SuccessionEvaluator<PetriNet,Transition>	PetriComponentsFactory.getSuccessionEvaluator()
static Set<Transition>	Priority.maxPriority(Collection<Transition> transitions)	Finds the subset of transitions with maximum priority.

Methods in org.oristool.models.pn with parameters of type Transition

Modifier and Type	Method	Description
Succession	PetriSuccessionEvaluator.computeSuccession(PetriNet petriNet, State state, Transition fired)
void	MarkingUpdater.update(Marking m, PetriNet petriNet, Transition t)	Updates the input marking after the firing of the given transition.
void	PetriTokensAdder.update(Marking m, PetriNet petriNet, Transition t)	Adds tokens to each output place according to the multiplicity of the postcondition.
void	PetriTokensRemover.update(Marking m, PetriNet petriNet, Transition t)	Removes tokens from each input place according to the multiplicity of the precondition.
void	PostUpdater.update(Marking m, PetriNet petriNet, Transition t)

Method parameters in org.oristool.models.pn with type arguments of type Transition

Modifier and Type	Method	Description
static Set<Transition>	Priority.maxPriority(Collection<Transition> transitions)	Finds the subset of transitions with maximum priority.
void	PetriStateFeature.setDisabled(Set<Transition> disabled)
void	PetriStateFeature.setEnabled(Set<Transition> enabled)
void	PetriStateFeature.setNewlyEnabled(Set<Transition> newlyEnabled)
void	PetriStateFeature.setPersistent(Set<Transition> persistent)

Constructors in org.oristool.models.pn with parameters of type Transition

Modifier	Constructor	Description
	ResetSet(Transition... transitions)

Constructor parameters in org.oristool.models.pn with type arguments of type Transition

Modifier	Constructor	Description
	ResetSet(Set<Transition> transitions)

Uses of Transition in org.oristool.models.stpn.trees

Methods in org.oristool.models.stpn.trees that return types with arguments of type Transition

Modifier and Type	Method	Description
EnabledEventsBuilder<PetriNet,Transition>	RegenerativeComponentsFactory.getEnabledEventsBuilder()
EnabledEventsBuilder<PetriNet,Transition>	StochasticComponentsFactory.getEnabledEventsBuilder()
SuccessionEvaluator<PetriNet,Transition>	RegenerativeComponentsFactory.getSuccessionEvaluator()
SuccessionEvaluator<PetriNet,Transition>	StochasticComponentsFactory.getSuccessionEvaluator()
static Map<Transition,Double>	StochasticTransitionFeature.weightProbs(Collection<Transition> transitions, Marking marking)	Computes the discrete distribution determined by weights.

Methods in org.oristool.models.stpn.trees with parameters of type Transition

Modifier and Type	Method	Description
Succession	StochasticSuccessionEvaluator.computeSuccession(PetriNet petriNet, State state, Transition fired)

Method parameters in org.oristool.models.stpn.trees with type arguments of type Transition

Modifier and Type	Method	Description
static Map<Transition,Double>	StochasticTransitionFeature.weightProbs(Collection<Transition> transitions, Marking marking)	Computes the discrete distribution determined by weights.

Constructor parameters in org.oristool.models.stpn.trees with type arguments of type Transition

Modifier	Constructor	Description
	DeterministicEnablingState(Marking marking, Set<Transition> enabledTransitions)	Builds an object encoding the deterministic enabling state of non-exponential transitions.

Uses of Transition in org.oristool.models.tpn

Methods in org.oristool.models.tpn that return types with arguments of type Transition

Modifier and Type	Method	Description
EnabledEventsBuilder<PetriNet,Transition>	TimedComponentsFactory.getEnabledEventsBuilder()
SuccessionEvaluator<PetriNet,Transition>	TimedComponentsFactory.getSuccessionEvaluator()

Methods in org.oristool.models.tpn with parameters of type Transition

Modifier and Type	Method	Description
Succession	TimedSuccessionEvaluator.computeSuccession(PetriNet petriNet, State state, Transition fired)

Uses of Transition in org.oristool.petrinet

Methods in org.oristool.petrinet that return Transition

Modifier and Type	Method	Description
Transition	PetriNet.addTransition(String transitionName)	Adds a transition to the Petri net.
Transition	InhibitorArc.getTransition()	Returns the target transition.
Transition	PetriNet.getTransition(String transitionName)	Gets an existing transition with the given name.
Transition	Postcondition.getTransition()	Returns the target transition of this postcondition.
Transition	Precondition.getTransition()	Returns the target transition of this precondition.
Transition	PetriNet.removeTransition(Transition t)	Removes an existing transition.

Methods in org.oristool.petrinet that return types with arguments of type Transition

Modifier and Type	Method	Description
Set<Transition>	PetriNet.getEnabledTransitions(Marking marking)	Returns the set of transitions enabled by a given marking.
Collection<Transition>	PetriNet.getTransitions()	Returns the transitions of the Petri net.

Methods in org.oristool.petrinet with parameters of type Transition

Modifier and Type	Method	Description
InhibitorArc	PetriNet.addInhibitorArc(Place p, Transition t)	Adds an inhibitor arc with multiplicity 1.
InhibitorArc	PetriNet.addInhibitorArc(Place p, Transition t, int multiplicity)	Adds an inhibitor arc with given multiplicity.
Postcondition	PetriNet.addPostcondition(Transition t, Place p)	Adds a postcondition with multiplicity 1.
Postcondition	PetriNet.addPostcondition(Transition t, Place p, int multiplicity)	Adds a postcondition with given multiplicity.
Precondition	PetriNet.addPrecondition(Place p, Transition t)	Adds a precondition with multiplicity 1.
Precondition	PetriNet.addPrecondition(Place p, Transition t, int multiplicity)	Adds a precondition with given multiplicity.
InhibitorArc	PetriNet.getInhibitorArc(Place p, Transition t)	Returns the existing inhibitor arc between a place and a transition.
Collection<InhibitorArc>	PetriNet.getInhibitorArcs(Transition t)	Gets all the inhibitor arcs of a transition.
Postcondition	PetriNet.getPostcondition(Transition t, Place p)	Returns the existing postcondition between a place and a transition.
Collection<Postcondition>	PetriNet.getPostconditions(Transition t)	Gets all the postconditions of a transition.
Precondition	PetriNet.getPrecondition(Place p, Transition t)	Returns the existing precondition between a place and a transition.
Collection<Precondition>	PetriNet.getPreconditions(Transition t)	Gets all the preconditions of a transition.
boolean	PetriNet.isEnabled(Transition t, Marking m)	Checks if a transition is enabled by a marking.
Transition	PetriNet.removeTransition(Transition t)	Removes an existing transition.

Method parameters in org.oristool.petrinet with type arguments of type Transition

Modifier and Type	Method	Description
static Set<Variable>	Transition.newVariableSetInstance(Set<Transition> transitions)	Variables associated with a set of transitions.

Uses of Transition in org.oristool.simulator

Methods in org.oristool.simulator with parameters of type Transition

Modifier and Type	Method	Description
Succession	SimulatorSuccessorEvaluator.computeSuccessor(PetriNet petriNet, State state, Transition fired)
BigDecimal	TimedSimulatorStateFeature.getTimeToFire(Transition t)
void	TimedSimulatorStateFeature.setTimeToFire(Transition t, BigDecimal timeToFire)

Constructor parameters in org.oristool.simulator with type arguments of type Transition

Modifier	Constructor	Description
	Sequencer(PetriNet net, Marking initialMarking, SimulatorComponentsFactory<PetriNet,Transition> componentsFactory, AnalysisLogger logger)	Builds a new instance for a given Petri net and initial marking.

Uses of Transition in org.oristool.simulator.stpn

Methods in org.oristool.simulator.stpn that return types with arguments of type Transition

Modifier and Type	Method	Description
EnabledEventsBuilder<PetriNet,Transition>	STPNSimulatorComponentsFactory.getFirableTransitionSetBuilder()

Methods in org.oristool.simulator.stpn with parameters of type Transition

Modifier and Type	Method	Description
Succession	SimulatorSTPNSuccessorEvaluator.computeSuccessor(PetriNet petriNet, State state, Transition fired)