Uses of Interface
org.oristool.analyzer.state.StateFeature

Packages that use StateFeature

Package	Description
org.oristool.analyzer.state	Generic state representation.
org.oristool.models.gspn.reachability	Reachability analysis in GSPNs.
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.simulator	Simulator framework.

Uses of StateFeature in org.oristool.analyzer.state

Classes in org.oristool.analyzer.state that implement StateFeature

Modifier and Type	Class	Description
enum	LocalStop	State feature tagging states where a local stop criterion was applied.

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

Classes in org.oristool.models.gspn.reachability that implement StateFeature

Modifier and Type	Class	Description
final class	SPNState	A GSPN state, including a sojourn rate and a marking.

Uses of StateFeature in org.oristool.models.pn

Classes in org.oristool.models.pn that implement StateFeature

Modifier and Type	Class	Description
final class	PetriStateFeature	A feature collecting state information of a Petri net.

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

Classes in org.oristool.models.stpn.trees that implement StateFeature

Modifier and Type	Class	Description
final class	EnablingSyncsFeature	State feature encoding synchronizations between enabled timers.
class	Regeneration<V>	A state feature including a regeneration.
class	StochasticStateFeature	A state feature encoding the support and PDF of enabled timers.
class	TransientStochasticStateFeature	State feature including the entering time distribution and reaching probability of a state.

Uses of StateFeature in org.oristool.models.tpn

Classes in org.oristool.models.tpn that implement StateFeature

Modifier and Type	Class	Description
final class	TimedStateFeature

Uses of StateFeature in org.oristool.simulator

Classes in org.oristool.simulator that implement StateFeature

Modifier and Type	Class	Description
class	TimedSimulatorStateFeature	State feature of time-based STPN simulations.