Uses of Interface
org.oristool.analyzer.SuccessionFeature

Packages that use SuccessionFeature

Package	Description
org.oristool.models.gspn.reachability	Reachability analysis in GSPNs.
org.oristool.models.stpn.trees	Calculus of stochastic state classes.

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

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

Modifier and Type	Class	Description
final class	FiringProbability	Succession feature encoding the firing probability.

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

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

Modifier and Type	Class	Description
class	StochasticSuccessionFeature	Succession feature encoding the firing probability.