1. Communicating Sequential Processes;Hoare,1985
2. Petri nets and flexible manufacturing;Silva;Adv. Petri Nets,1989
3. Introduction to the Theory of Finite-state Machines;Gill,1962
4. Applications of Petri Nets in Manufacturing Systems. Modeling, Control and Performance Analysis;Desrochers,1995
5. Automatic synthesis of colored petri nets for the control of FMS;Ezpeleta;IEEE Trans. Robot. Autom.,1997