|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Automaton | |
---|---|
org.processmining.analysis.petrinet | |
org.processmining.framework.models.petrinet | |
org.processmining.framework.models.transitionsystem |
Uses of Automaton in org.processmining.analysis.petrinet |
---|
Constructors in org.processmining.analysis.petrinet with parameters of type Automaton | |
---|---|
StateSpaceCalculatorUI(Automaton statespace)
|
Uses of Automaton in org.processmining.framework.models.petrinet |
---|
Subclasses of Automaton in org.processmining.framework.models.petrinet | |
---|---|
class |
StateSpace
A Petri-net based state space, wheras states correspond to markings of the net, and edges represent transitions in the Petri net. |
Uses of Automaton in org.processmining.framework.models.transitionsystem |
---|
Subclasses of Automaton in org.processmining.framework.models.transitionsystem | |
---|---|
class |
TransitionSystem
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |