Authors: J. Ferber & O. Gutknecht
The Automaton formalism allows the user to describe and simulate finite state automata. An automaton net is made of states and transitions which are linked together in such a way that only one link can connect a state to a transition, and only one link can connect a transition to a state.