References
- Bourdon , SE , Lawford , M and Wonham , WM . 2005 . Robust Nonblocking Supervisory Control of Discrete-Event Systems . IEEE Transactions on Automatic Control , 50 : 2015 – 2020 .
- Cho , YK and Kwon , WH . 1998 . On Forbidden State Problems in a General Class of Non-ordinary Controlled Petri Nets . Proceedings of 1998 IEEE International Conference on Systems, Man and Cybernetics , 1 : 90 – 95 .
- Fanti , MP , Maione , B and Turchiano , B . 1997 . Event Control for Deadlock Avoidance in Assembly Systems . Proceedings of 1997 IEEE International Conference on Systems, Man and Cybernetics , 4 : 3756 – 3761 .
- Ferrarini , L and Trioni , M . 1996 . Modeling Shared Resources With Generalized Synchronization Within a Petri Net Bottom-up Approach . IEEE Transactions on System, Man and Cybernetics, Part A: Systems and Humans , 26 : 653 – 659 .
- Hsieh , FS . 2003 . Robustness of Deadlock Avoidance Algorithms for Sequential Processes . Automatica , 39 : 1695 – 1706 .
- Hsieh , FS . 2004 . Fault Tolerant Deadlock Avoidance Algorithm for Assembly Processes . IEEE Transactions on System, Man and Cybernetics, Part A: Systems and Humans , 34 : 65 – 79 .
- Hsieh , FS . 2006 . Robustness Analysis of Petri nets for Assembly/Disassembly Processes With Unreliable Resources . Automatica , 42 : 1159 – 1166 .
- Hsieh , FS . 2007 . Analysis of Flexible Assembly Processes based on Structural Decomposition of Petri Nets . IEEE Transaction on System, Man and Cybernetics, Part A , 37 : 792 – 803 .
- Hsieh , FS . 2008 . Robustness Analysis of Holonic Assembly/Disassembly Processes With Petri Nets . Automatica , 44 : 2538 – 2548 .
- Hsieh , FS . 2010 . Robustness Analysis of Non-ordinary Petri Nets for Flexible Assembly Systems . International Journal of Control , 83 : 928 – 939 .
- Koh , I and DiCesare , F . 1991 . Modular Transformation Methods for Generalized Petri Nets and their Application to Automated Manufacturing Systems . IEEE Transactions on System, Man and Cybernetics, Part A: Systems and Humans , 21 : 1512 – 1522 .
- Lin , F . 1993 . Robust and Adaptive Supervisory Control of Discrete Event Systems . IEEE Transactions Automatic Control , 38 : 1848 – 1852 .
- Murata , T . 1989 . Petri Nets: Properties, Analysis and Applications . Proceedings of the IEEE , 77 : 541 – 580 .
- Narahari , Y and Viswanadham , N . 1985 . A Petri Net Approach to the Modeling and Analysis of Flexible Manufacturing Systems . Annals of Operations Research , 3 : 449 – 472 .
- Park , J and Reveliotis , SA . 2001 . Deadlock Avoidance in Sequential Resource Allocation Systems with Multiple Resource Acquisitions and Flexible Routings . IEEE Transactions on Automatic Control , 46 : 1572 – 1583 .
- Peterson , JL . 1981 . Petri Net Theory and the Modeling of Systems , Englewood Cliffs, NJ : Prentice-Hall, Inc .
- Roszkowska , E . 1992 . CAST-tools for Automatic FMS Dynamics Models Synthesis, Computer Aided Systems Theory – EUROCAST’91 . Lecture Notes on Computer Science , 585 : 412 – 421 .
- Roszkowska , E . 2004 . Supervisory Control for Deadlock Avoidance in Compound Processes . IEEE Transactions on System, Man and Cybernetics, Part A: Systems and Humans , 34 : 52 – 64 .
- Saboori , A and Zad , SH . 2006 . Robust Nonblocking Supervisory Control of Discrete-Event Systems Under Partial Observation . Systems and Control Letters , 55 : 839 – 848 .