Package org.processmining.specpp.datastructures.transitionSystems

Class Summary

Class	Description
PAState	Represents a state of the Prefix Automaton.
PATransition	Represents a transition of the prefix automaton
PrefixAutomaton	Class representing a prefix automaton.