Guest editorial: Petri nets and agile manufacturing

Bogdan, S. , Lewis, F.L. , Kovacic, Z. and Mireles Jr, J. 2006: Manufacturing Systems Control Design: A Matrix-Based Approach . Springer.

Ding, Z. , Jiang, C. and Zhou, M.C. 2008: Deadlock checking for one-place unbounded Petri nets based on modified reachability trees. IEEE Transactions on Systems, Man, and Cybernetics: Part B 38, 881-83.

Hruz, B. and Zhou, M.C. 2007: Modeling and control of discrete event dynamic systems. Advanced Textbooks in Control and Signal Processing. Springer .

Lee, J.S. , Zhou, M.C. and Hsu, P.L. 2007: A Petri-net approach to modular supervision with conflict resolution for semiconductor manufacturing systems. IEEE Transactions on Automation Science and Engineering 4, 584-88.

Li, Z. and Zhou, M.C. 2004: Elementary siphons of Petri nets and their applications to deadlock prevention in flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics: Part A 34, 38-51.

Li, Z.W. , Hu, H.S. and Wang, A.R. 2007: Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews 37, 517-26.

Li, Z.W. , Zhou, M.C. and Wu, N.Q. 2008: A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics: Part C 38, 173-88.

Liao, D.-Y. , Jeng, M.D. and Zhou, M.C. 2007: Petri net modeling and Lagrangian relaxation approach to vehicle scheduling in 300mm semiconductor manufacturing. IEEE Transactions on Systems, Man, and Cybernetics: Part C 37, 504-16.

Murata, T. 1989: Petri nets: properties, analysis and applications. Proceedings of the IEEE 77, 541-80.

Tang, Y. , Zhou, M.C. and Gao, M. 2006: Fuzzy-Petri-net based disassembly planning considering human factors. IEEE Transactions on Systems, Man, and Cybernetics: Part A 36, 718-26.

Wang, F.-Y. , Gao, Y. and Zhou, M.C. 2004: A modified reachability tree approach to analysis of unbounded Petri nets. IEEE Transactions on Systems, Man, and Cybernetics: Part B 34, 303-308.

Wu, N. 1999: Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model . IEEE Transactions on Systems, Man, and Cybernetics, Part C 29, 192-204.

Wu, N. and Zhou, M.C. 2005: Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles. IEEE Transactions on Systems, Man, and Cybernetics: Part B 35, 1193-202.

Wu, N. and Zhou, M.C. 2007: Deadlock and blocking-free shortest routing of bi-directional automated guided vehicles. IEEE Transactions on Mechatronics 12, 63-72.

Wu, N. , Bai, L.P. and Chu, C.B. 2007: Modeling and conflict detection of crude-oil operations for refinery process based on controlled-colored-timed Petri net. IEEE Transactions on Systems, Man, and Cybernetics, Part C 37, 461-72.

Wu, N. , Chu, C. , Chu, F. and Zhou, M.C. 2008a: A Petri net method for schedulability and scheduling problems in single-arm cluster tools with wafer residency time constraints . IEEE Transactions on Semiconductor Manufacturing 21, 224-37.

Wu, N. , Zhou, M.C. and Li, Z. 2008b: Resource-oriented Petri net for deadlock avoidance in flexible assembly systems. IEEE Transactions on Systems, Man, and Cybernetics: Part A 38, 56-69.

Zhou, M.C. , editor. 1995: Petri nets in flexible and agile automation. Kluwer Academic .

Zhou, M.C. and DiCesare, F. 1991: Parallel and sequential mutual exclusions for Petri net modeling of manufacturing systems with shared resources. IEEE Transactions on Robotics and Automation 7, 515-27.

Zhou, M.C. and DiCesare, F. 1993: Petri net synthesis for discrete event control of manufacturing systems. Kluwer Academic.

Zhou, M.C. , DiCesare, F. and Desrochers, A.A. 1992: A hybrid methodology for synthesis of Petri net models for manufacturing systems. IEEE Transactions on Robotics and Automation 8, 350-61.

Zhou, M.C. and Fanti, M.P. , editors. 2005: Deadlock resolution in computer-integrated systems. Marcel Dekker.

Zhou, M.C. and Jeng, M.D. 1998: Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: a Petri net approach. IEEE Transactions on Semiconductor Manufacturing 11, 333-57.

Zhou, M.C. and Venkatesh, K. 1998: Modeling, simulation and control of flexible manufacturing systems: a Petri net approach. World Scientific.