Uses of Class
org.oristool.petrinet.PetriNet

Packages that use PetriNet

Package	Description
org.oristool.models.gspn	Analysis of GSPNs.
org.oristool.models.gspn.reachability	Reachability analysis in GSPNs.
org.oristool.models.pn	Analysis of Petri nets.
org.oristool.models.stpn	Analysis of STPNs.
org.oristool.models.stpn.onegen	Analysis of MRPs under enabling restriction.
org.oristool.models.stpn.steady	Steady-state analysis of MRPs.
org.oristool.models.stpn.trans	Transient analysis of MRPs and GSMPs.
org.oristool.models.stpn.trees	Calculus of stochastic state classes.
org.oristool.models.tpn	Analysis of TPNs.
org.oristool.simulator	Simulator framework.
org.oristool.simulator.stpn	Provides classes for the simulation of STPNs.

Uses of PetriNet in org.oristool.models.gspn

Methods in org.oristool.models.gspn with parameters of type PetriNet

Modifier and Type	Method	Description
boolean	GSPNSteadyState.canAnalyze(PetriNet pn, ValidationMessageCollector c)
boolean	GSPNTransient.canAnalyze(PetriNet pn, ValidationMessageCollector c)
Map<Marking,Double>	GSPNSteadyState.compute(PetriNet pn, Marking m)	Runs this analysis on a given Petri net from an initial marking.
Pair<Map<Marking,Integer>,double[][]>	GSPNTransient.compute(PetriNet pn, Marking m)	Runs this analysis on a given Petri net from an initial marking.

Uses of PetriNet in org.oristool.models.gspn.reachability

Methods in org.oristool.models.gspn.reachability with parameters of type PetriNet

Modifier and Type	Method	Description
boolean	GSPNReachability.canAnalyze(PetriNet pn, ValidationMessageCollector c)
DTMC<SPNState>	GSPNReachability.compute(PetriNet pn, Marking m)	Runs this analysis on a given Petri net from an initial marking.

Uses of PetriNet in org.oristool.models.pn

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

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

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

Modifier and Type	Method	Description
static State	InitialPetriStateBuilder.computeInitialState(PetriNet petriNet, Marking initialMarking)
static State	InitialPetriStateBuilder.computeInitialState(PetriNet pn, Marking initialMarking, boolean checkNewlyEnabled)	Builds an initial State instance from a marking.
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)

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

Modifier	Constructor	Description
	PostUpdater(String expression, PetriNet pn)	Builds a marking updater from a string of update commands.

Uses of PetriNet in org.oristool.models.stpn

Methods in org.oristool.models.stpn with parameters of type PetriNet

Modifier and Type	Method	Description
static MarkingExpr	MarkingExpr.from(String expr, PetriNet pn)	Creates a marking expression from a string.

Uses of PetriNet in org.oristool.models.stpn.onegen

Methods in org.oristool.models.stpn.onegen with parameters of type PetriNet

Modifier and Type	Method	Description
boolean	OneGenTransient.canAnalyze(PetriNet pn, ValidationMessageCollector c)
TransientSolution<DeterministicEnablingState,Marking>	OneGenTransient.compute(PetriNet pn, Marking m)

Uses of PetriNet in org.oristool.models.stpn.steady

Methods in org.oristool.models.stpn.steady with parameters of type PetriNet

Modifier and Type	Method	Description
boolean	RegSteadyState.canAnalyze(PetriNet pn, ValidationMessageCollector c)
SteadyStateSolution<Marking>	RegSteadyState.compute(PetriNet pn, Marking m)	Runs this analysis on a given Petri net from an initial marking.

Uses of PetriNet in org.oristool.models.stpn.trans

Methods in org.oristool.models.stpn.trans with parameters of type PetriNet

Modifier and Type	Method	Description
boolean	RegTransient.canAnalyze(PetriNet pn, ValidationMessageCollector c)
boolean	TreeTransient.canAnalyze(PetriNet pn, ValidationMessageCollector c)
TransientSolution<DeterministicEnablingState,Marking>	RegTransient.compute(PetriNet pn, Marking m)	Runs this analysis on a given Petri net from an initial marking.
TransientSolution<Marking,Marking>	TreeTransient.compute(PetriNet pn, Marking m)	Runs this analysis on a given Petri net from an initial marking.

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

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

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()

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

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

Constructors in org.oristool.models.stpn.trees with parameters of type PetriNet

Modifier	Constructor	Description
	DeterministicEnablingState(Marking marking, PetriNet petriNet)	Builds an object encoding the deterministic enabling state of non-exponential transitions.
	DeterministicEnablingStateBuilder(PetriNet petriNet, boolean transientAnalysis)
	DeterministicEnablingStateBuilder(PetriNet petriNet, boolean transientAnalysis, boolean checkNewlyEnabled, BigDecimal epsilon, int numSamples)	Configures a state builder for STPNs.
	DeterministicEnablingTimedStateBuilder(PetriNet petriNet, boolean transientAnalysis)	Configures a state builder for TPNs.
	NewlyEnablingStateBuilder(PetriNet petriNet, boolean transientAnalysis)
	NewlyEnablingStateBuilder(PetriNet petriNet, boolean transientAnalysis, boolean checkNewlyEnabled, BigDecimal epsilon, int numSamples)	Configures a state builder for STPNs.

Uses of PetriNet in org.oristool.models.tpn

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

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 PetriNet

Modifier and Type	Method	Description
State	TimedComponentsFactory.buildInitialState(PetriNet pn, Marking initialMarking)	Builds an initial State instance from a marking.
boolean	TimedAnalysis.canAnalyze(PetriNet pn, ValidationMessageCollector c)
SuccessionGraph	TimedAnalysis.compute(PetriNet pn, Marking m)	Runs this analysis on a given Petri net from an initial marking.
State	InitialTimedStateBuilder.computeInitialState(PetriNet pn, Marking initialMarking)	Builds an initial State instance from a marking.
Succession	TimedSuccessionEvaluator.computeSuccession(PetriNet petriNet, State state, Transition fired)

Uses of PetriNet in org.oristool.simulator

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

Modifier and Type	Method	Description
State	SimulatorInitialStateBuilder.build(PetriNet petriNet, Marking initialMarking)
Succession	SimulatorSuccessorEvaluator.computeSuccessor(PetriNet petriNet, State state, Transition fired)

Constructors in org.oristool.simulator with parameters of type PetriNet

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.

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

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 PetriNet in org.oristool.simulator.stpn

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

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

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

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