Uses of Class
org.processmining.framework.models.transitionsystem.Automaton

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