[1] E.P.Chong. "Discrete Event Systems and their optimization" West Lafayette, IN 47907-1285.version: September 7, 1999.
[2] P.J. Antsaklis. "Intelligent Control" Encyclopedia of Electrical and Electronics Engineering, John Wiley & Sons, Inc., Vol. 10, pp. 493-503, 1999.
[3] M.D. Lemmon, K.X. He, and I. Markovsky. "A Tutorial Introduction to Supervisory Hybrid Systems" Technical Report of the ISIS Group at the University of Notre Dame ISIS-98-004, October, 1998.
[4] P.J. Antsaklis and A. Nerode. "Special Issue on Hybrid Control Systems" IEEE Transactions on Automatic Control,. vol. 43, no. 4, April 1998.
[5] Yu-Chi Ho "DEDS Analyzing Complexity And Performance in the modern world" IEEE Press ,ISBN 0-87942-281-5,1992.
[6] G. Cohn, P. Moller Cnet ,and J.P. Quadrat. " Linear System Theory For Discrete Event Systems" Proceedings of 23rd Conference on Decision and Control Las Vegas, NV, December 1984.
X.-R. Cao and Y.-C. Ho. “Models of discrete event dynamic systems,” IEEE Contr. Syst. Mag., vol. 10, pp. 69–76, June 1990
[1] E .John, Hopcroft and D .Jeffrey. "Introduction to Automata Theory, Languages, And Computation "Addison-Wesley series in computer science.ISBN 0-201-02988-X,1979.
[2] P. Linz. “An Introduction to Formal Languages and Automata” Jones and Barteltt Pub., Sundbury, Massachusetts,2001.
[3] P.J. Ramadge, and W.M .Wonham " The Control of Discrete Event Systems". Proc. IEEE,vol.77, pp. 81-97, 1989.
[4] W. M. Wonham. "Supervisory control of discrete event systems". ECE 1636F/1637S 2006-2007. Systems Control Group, Dept. of ECE, University of Toronto, URL: www.control.utoronto.ca/people/profs/wonham/wonham.html.
[5] Y. Brave, and M.Heymann. " Control of Discrete Event Systems Modeled as Hierarchical State Machines". IEEE Trans. on Automatic Control , vol.38,no.12, pp.1803-1819,1993
[6] A. Giua, and F. DiCesare. " Generalized mutual exclusion constraints on nets with uncontrollable transitions". In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics Chicago, Illinois, pp. 974-979,1992.
[7] [14] K.Yamalidou, J.Moody, M. Lemmon, and P .Antsaklis. " Feedback Control of Petri Nets Based on Place Invariants", Automatica, vol.32 ,pp. 15-28 ,1996.
[8] M.C.Zhou, F. DiCesare, and D.L .Rudolph." Design and Implementation of a Petri Net Based Supervisor for a Flexible Manufacturing System", Automatica, vol.28, pp. 1199-1208,1992.
[9] A. Giua and F. DiCesare. “Petri net structural analysis for supervisory control”, IEEE Trans. Robot. Automat., vol. 10, pp. 185–195, Apr. 1994.
[10] M. V. Iordache and P. J. Antsaklis."Supervision Based On Place Invariants: A Survey", Technical Report of the ISIS Group at the University of Notre Dame ISIS-2004-003 July, 2004.
[11] F. Charbonnier, H. Alla and R. David. “The Supervised Control of Discrete Event Dynamic Systems: A New Approach”, Proceedings of the 34th IEEE Conference on Decision and Control, New Orleans, Louisiana, USA, pp 913-920, December 1995.
[12] T. Murata " Petri Nets: Properties, Analysis and Applications", Proc. IEEE, 77, pp.541-580 ,1989.
[13] R. David, and H .Alla." Petri Nets for Modeling of Dynamic Systems :A Survey". Automatica, vol.30, pp. 175-202, 1994.
[14] R. David ,and H. Alla. "Petri Nets and Grafcet tools for modeling discrete event systems”, Prentice Hall Ed., London,1998.
[15] M. C. Zhou and F. DiCesare, "Parallel and Sequential Mutual Exclusions for Petri Net Modeling of Manufacturing Systems with Shared Resources" , IEEE Trans. on Robotics and Automation, vol. 7, no. 4, pp. 515-527,1991.
[16] R. Zurawski and M. Zhou, “Petri nets and industrial applications: A tutorial ”, IEEE Trans Ind. Electron., vol. 41, pp. 567–582, Dec. 1994.
[17] B.H. Krogh and L.E. Holloway. "Synthesis of Feedback Control Logic for Discrete Manufacturing Systems" Automatica, vol. 27, no. 4, pp. 641-651, 1991.
[18] I.Demongodin and N.T.Koussoulas "Differential Petri Net models for industrial automation and supervisory control",IEEE Transaction on Systems,Man,And Cybernetics-part c :Application and Reviews,vol.36,no.4,pp.543-553,July 2006.
[1] P. Freedman ."Time, Petri Nets, and Robotics", IEEE Trans. on Control Systems Technology, vol. 7, no. 4, pp. 417-433,1991.
[2] G. Music , and D. Matko, "Petri Net Based Supervisory Control of Flexible Batch Plants". In Prepr. 8th IFAC Symp. on Large Scale Systems: Theory & Application,Vol. II, Rio Patras, pp. 989-994,1998.
[3] M. Zhou, F. DiCesare and A. A. Desrochers. "A Hybrid Methodology for Synthesis of Petri Net Models for Manufacturing Systems", IEEE Trans. on Robotics and Automation, vol. 8, no. 3 ,pp. 350-361, 1992.
[4] M.D .Jeng, and F.DiCesare. " A Review of Synthesis Techniques for Petri Nets with Applications to Automated Manufacturing Systems". IEEE Trans. on Systems, Man, and Cybernetics,vol. 23, pp. 301-312, 1993.
[5] G. Music, D. Matko. "Petri Net Based Control of a Modular Production System", in Proc. IEEE International Symp. on Industrial Electronics, vol. 3, Bled, Slovenia, pp. 1383-1388,1999.
[6] R. David. "Grafcet: A Powerful Tool for Specification of Logic Controllers", IEEE Trans. on Control Systems Technology, vol. 3, no. 3, pp. 253-268,1995.
[7] A. Ghaffari, N. Rezg, and X. Xie. "Design of a live and maximally permissive petri net controller using the theory of regions". IEEE Transactions on Robotics and Automation, vol.19,no.1,pp.137–142, 2003.
[8] Y. Li and W. Wonham. "Control of Vector Discrete-Event Systems" I - The Base Model. IEEE Transactions on Automatic Control, vol.38,no.8,pp.1214–1227, 1993.
[9] Y. Li and W. Wonham. "Control of Vector Discrete-Event Systems" II - Controller Synthesis. IEEE Transactions on Automatic Control, vol.39,no.3,pp.512–530, 1994.
[10] A. Giua, and F. DiCesare. "Generalized mutual exclusion constraints on nets with uncontrollable transitions". In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (Chicago, Illinois), pp. 974–979, 1992.
[11] J. O. Moody and P. J. Antsaklis. "Petri net supervisors for DES with uncontrollable and unobservable transitions". IEEE Transactions on Automatic Control, vol.45,no.3,pp.462–476, 2000.
[12] A.R. Wang , Z. W.L1, and J.Y. JFA. "A Petri Nets Based Deadlock Avoidance Policy for Flexible Manufacturing Systems", The 30th Annual Conference of the IEEE lndustrlal Electronics Society, Busen, Korea. ,pp. 1896-1901, November,2004.
[13] J. Ezpeleta, J. M. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems", IEEE Transactions on Robotics and Automation, vol. 11, no. 2, pp. 173-184, April1995 .
[14] G. Music and D. Matko. "Petri Net Based Supervisory Control of Flexible Batch Plant", Preprints of the 8th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Systems, Rio Patras, Greece, Vol. 2, pp. 989-994, 1998.
[15] L.Ferrarini,and L.Piroddi. "Modular design and implementation of logic control system for a batch process", Computer and Chemical Engineering,vol. 27,pp.983-996, 2003.
[16] B.Lennartson, B .Egardt, and M. Tittus. "Hybrid Systems in Process Control". In Proc. of 33rd Conference on Decision and Control , Lake Buena, USA. IEEE. pp. 3587-3592, 1994