Uses of Class
org.oristool.util.Featurizable
Package
Description
General framework for state space exploration.
Generic state representation.
Petri net representation.
-
Uses of Featurizable in org.oristool.analyzer
Modifier and TypeClassDescriptionfinal class
Succession between two states after the firing of an event. -
Uses of Featurizable in org.oristool.analyzer.state
-
Uses of Featurizable in org.oristool.petrinet
Modifier and TypeClassDescriptionfinal class
An inhibitor arc connecting a place to a transition.final class
A Petri net model.final class
Place of a Petri net.class
Postcondition of a Petri net.final class
Precondition of a Petri net.final class
Transition of a Petri net.