1. Supervisory control of a class of discrete event processes;Ramadge;SIAM J. Control Optim.,1987
2. Introduction to Discrete Event Systems;Cassandras,1999
3. Formal Languages and Automata Theory;Drobot,1989
4. Introduction to Automata Theory, Languages, and Computation;Hopcroft,2001
5. Introduction to Languages and the Theory of Computation;Martin,2001