Polynomial-complexity supervisory control for flexible assembly systems based on Petri nets

References

• Azadeh, A., S. M. Hatefi, and H. Kor. 2012. “Performance Improvement of a Multi Product Assembly Shop by Integrated Fuzzy Simulation Approach.” Journal of Intelligent Manufacturing 23 (5): 1861–1883. doi:10.1007/s10845-011-0501-0.
   Web of Science ®Google Scholar
• Basile, F., M. P. Cabasino, and C. Seatzu. 2015. “State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems with Unobservable Transitions.” IEEE Transactions on Automatic Control 60 (4): 997–1009. doi:10.1109/TAC.2014.2363916.
   Web of Science ®Google Scholar
• Chao, D. Y., and T. H. Yu. 2016. “The Fundamental Closed-Form Solution of Control-Related States of Kth Order S3PR System with Left-Side Non-Sharing Resource Places of Petri Nets.” International Journal of Control 89 (1): 169–178. doi:10.1080/00207179.2015.1063164.
   Web of Science ®Google Scholar
• Chen, Y. F., Z. W. Li, K. Barkaoui, and A. Giua. 2015. “On the Enforcement of a Class of Nonlinear Constraints on Petri Nets.” Automatica 55: 116–124. doi:10.1016/j.automatica.2015.02.014.
   Web of Science ®Google Scholar
• Chew, S. F., S. Y. Wang, and M. A. Lawley. 2011. “Resource Failure and Blockage Control for Production Systems.” International Journal of Computer Integrated Manufacturing 24 (3): 229–241. doi:10.1080/0951192X.2011.552526.
   Web of Science ®Google Scholar
• Chryssolouris, G., K. Efthymiou, N. Papakostas, D. Mourtzis, and A. Pagoropoulos. 2013. “Flexibility and Complexity: Is It a Trade-Off?” International Journal of Production Research 51 (23–24): 6788–6802. doi:10.1080/00207543.2012.761362.
   Web of Science ®Google Scholar
• Cordone, R., A. Nazeem, L. Piroddi, and S. Reveliotis. 2013. “Designing Optimal Deadlock Avoidance Policies for Sequential Resource Allocation Systems through Classification Theory: Existence Results and Customized Algorithms.” IEEE Transactions on Automatic Control 58 (11): 2772–2787. doi:10.1109/TAC.2013.2266952.
   Web of Science ®Google Scholar
• Dotoli, M., M. P. Fanti, G. Iacobellis, and G. Rotunno. 2014. “An Integrated Technique for the Internal Logistics Analysis and Management in Discrete Manufacturing Systems.” International Journal of Computer Integrated Manufacturing 27 (2): 165–180. doi:10.1080/0951192X.2013.802370.
   Web of Science ®Google Scholar
• Elmekkawy, T. Y., and H. A. Elmaraghy. 2003. “Efficient Search of Petri Nets for Deadlock-Free Scheduling in FMSS Using Heuristic Functions.” International Journal of Computer Integrated Manufacturing 16 (1): 14–24. doi:10.1080/713804976.
   Web of Science ®Google Scholar
• Ezpeleta, J., F. Tricas, F. Garcia-Valles, and J. M. Colom. 2002. “A Banker’s Solution for Deadlock Avoidance in FMS with Flexible Routing and Multiresource States.” IEEE Transactions on Robotics and Automation 18 (4): 621–625. doi:10.1109/TRA.2002.801048.
   Google Scholar
• Ezpeleta, J., and R. Valk. 2006. “A Polynomial Deadlock Avoidance Method for a Class of Nonsequential Resource Allocation Systems.” IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans 36 (6): 1234–1243. doi:10.1109/TSMCA.2006.878963.
   Web of Science ®Google Scholar
• Fahmy, S., S. Balakrishnan, and T. Elmekkawy. 2011. “Deadlock Prevention and Performance Oriented Supervision in Flexible Manufacturing Cells: A Hierarchical Approach.” Robotics and Computer-Integrated Manufacturing 27 (3): 591–603. doi:10.1016/j.rcim.2010.10.006.
   Web of Science ®Google Scholar
• Fan, Y. S., D. Z. Zhao, L. Q. Zhang, S. X. Huang, and B. Liu. 2004. Manufacturing Grid: Needs, Concept, and Architecture. Berlin: Springer-Verlag.
   Google Scholar
• Fanti, M. P., G. Maione, and B. Turchiano. 2002. “Design of Supervisors to Avoid Deadlock in Flexible Assembly Systems.” International Journal of Flexible Manufacturing Systems 14 (2): 153–171. doi:10.1023/A:1014482419706.
   Google Scholar
• Fanti, M. P., and M. C. Zhou. 2004. “Deadlock Control Methods in Automated Manufacturing Systems.” IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans 34 (1): 5–22. doi:10.1109/TSMCA.2003.820590.
   Web of Science ®Google Scholar
• Giua, A., and C. Seatzu. 2015. “Petri Nets for the Control of Discrete Event Systems.” Software and Systems Modeling 14 (2): 693–701. doi:10.1007/s10270-014-0425-1.
   Web of Science ®Google Scholar
• Golmakani, H. R., J. K. Mills, and B. Benhabib. 2006. “On-Line Scheduling and Control of Flexible Manufacturing Cells Using Automata Theory.” International Journal of Computer Integrated Manufacturing 19 (2): 178–193. doi:10.1080/09511920500064664.
   Web of Science ®Google Scholar
• Hou, Y. F., Z. W. Li, M. Zhao, and D. Liu. 2014. “Extended Elementary Siphon-Based Deadlock Prevention Policy for a Class of Generalised Petri Nets.” International Journal of Computer Integrated Manufacturing 27 (1): 85–102. doi:10.1080/0951192X.2013.800233.
   Web of Science ®Google Scholar
• Hsieh, F. S. 2004. “Fault-Tolerant Deadlock Avoidance Algorithm for Assembly Processes.” IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans 34 (1): 65–79. doi:10.1109/TSMCA.2003.820574.
   Web of Science ®Google Scholar
• Hsieh, F. S. 2011. “Robustness Analysis of Non-Ordinary Petri Nets for Flexible Assembly/Disassembly Processes Based on Structural Decomposition.” International Journal of Control 84 (3): 496–510. doi:10.1080/00207179.2011.561443.
   Web of Science ®Google Scholar
• Hu, H. S., and M. C. Zhou. 2015. “A Petri Net-Based Discrete-Event Control of Automated Manufacturing Systems with Assembly Operations.” IEEE Transactions on Control Systems Technology 23 (2): 513–524. doi:10.1109/TCST.2014.2342664.
   Web of Science ®Google Scholar
• Huang, B., M. C. Zhou, and G. X. Zhang. 2015. “Synthesis of Petri Net Supervisors for FMS via Redundant Constraint Elimination.” Automatica 61: 156–163. doi:10.1016/j.automatica.2015.08.011.
   Web of Science ®Google Scholar
• Huang, H. J., L. Jiao, and T. Y. Cheung. 2005. “Property-Preserving Subnet Reductions for Designing Manufacturing Systems with Shared Resources.” Theoretical Computer Science 332 (1–3): 461–485. doi:10.1016/j.tcs.2004.12.010.
   Web of Science ®Google Scholar
• Huang, Y. S., Y. L. Pan, and M. C. Zhou. 2012. “Computationally Improved Optimal Deadlock Control Policy for Flexible Manufacturing Systems.” IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans 42 (2): 404–415. doi:10.1109/TSMCA.2011.2164241.
   Web of Science ®Google Scholar
• Iordache, M. V., J. O. Moody, and P. J. Antsaklis. 2002. “Synthesis of Deadlock Prevention Supervisors Using Petri Nets.” IEEE Transactions on Robotics and Automation 18 (1): 59–68. doi:10.1109/70.988975.
   Google Scholar
• Jeng, M. D., X. L. Xie, and M. Y. Peng. 2002. “Process Nets with Resources for Manufacturing Modeling and Their Analysis.” IEEE Transactions on Robotics and Automation 18 (6): 875–889. doi:10.1109/TRA.2002.805655.
   Google Scholar
• Kang, S.-H., Y. Kim, and Y. C. Lee. 2000. “A Time-Controlled Petri Net Model and Deadlock Detouring Algorithm for Real-Time FMC Control.” International Journal of Computer Integrated Manufacturing 13 (6): 533–544. doi:10.1080/09511920050195968.
   Web of Science ®Google Scholar
• Lafortune, S., and H. Yoo. 1990. “Some Results on Petri Net Languages.” IEEE Transactions on Automatic Control 35 (4): 482–485. doi:10.1109/9.52310.
   Web of Science ®Google Scholar
• Lawley, M. A., S. A. Reveliotis, and P. M. Ferreira. 1998. “Application and Evaluation of Banker’s Algorithm for Deadlock-Free Buffer Space Allocation in Flexible Manufacturing Systems.” International Journal of Flexible Manufacturing Systems 10 (1): 73–100. doi:10.1023/A:1007969601583.
   Google Scholar
• Lee, J. K., and T. E. Lee. 2002. “Automata-Based Supervisory Control Logic Design for a Multi-Robot Assembly Cell.” International Journal of Computer Integrated Manufacturing 15 (4): 319–334. doi:10.1080/09511920110078097.
   Web of Science ®Google Scholar
• Lee, S., and D. M. Tilbury. 2007. “Deadlock-Free Resource Allocation Control for a Reconfigurable Manufacturing System with Serial and Parallel Configuration.” IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews 37 (6): 1373–1381. doi:10.1109/TSMCC.2007.905843.
   PubMed Web of Science ®Google Scholar
• Lefebvre, D., and E. Leclercq. 2015. “Control Design for Trajectory Tracking with Untimed Petri Nets.” IEEE Transactions on Automatic Control 60 (7): 1921–1926. doi:10.1109/TAC.2014.2363311.
   Web of Science ®Google Scholar
• Lennartson, B., K. Bengtsson, C. Yuan, K. Andersson, M. Fabian, P. Falkman, and K. Akesson. 2010. “Sequence Planning for Integrated Product, Process and Automation Design.” IEEE Transactions on Automation Science and Engineering 7 (4): 791–802. doi:10.1109/TASE.2010.2051664.
   Web of Science ®Google Scholar
• Lewis, F. L., A. Gurel, S. Bogdan, A. Doganalp, and O. C. Pastravanu. 1998. “Analysis of Deadlock and Circular Waits Using a Matrix Model for Flexible Manufacturing Systems.” Automatica 34 (9): 1083–1100. doi:10.1016/S0005-1098(98)00048-X.
   Web of Science ®Google Scholar
• Li, L. X., and C. N. Hadjicostis. 2013. “Minimum Initial Marking Estimation in Labeled Petri Nets.” IEEE Transactions on Automatic Control 58 (1): 198–203. doi:10.1109/TAC.2012.2203050.
   Web of Science ®Google Scholar
• Li, S. Y., Z. W. Li, and H. S. Hu. 2011. “Siphon Extraction for Deadlock Control in Flexible Manufacturing Systems by Using Petri Nets.” International Journal of Computer Integrated Manufacturing 24 (8): 710–725. doi:10.1080/0951192X.2011.575182.
   Web of Science ®Google Scholar
• Li, Z. W., N. Q. Wu, and M. C. Zhou. 2012. “Deadlock Control of Automated Manufacturing Systems Based on Petri Nets-A Literature Review.” IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews 42 (4): 437–462. doi:10.1109/TSMCC.2011.2160626.
   Web of Science ®Google Scholar
• Liao, D. Y., and P. R. Liu. 2005. “Deadlock-Free Verification and Performance Enhancement of Rosettanet Pips with Time Petri Nets.” International Journal of Computer Integrated Manufacturing 18 (2–3): 199–209. doi:10.1080/0951192052000288170.
   Web of Science ®Google Scholar
• Liu, X. 2008. “A Polynomial Time Algorithm for Production Planning with Bounded Inventory.” International Journal of Advanced Manufacturing Technology 39 (7–8): 774–782. doi:10.1007/s00170-007-1246-y.
   Web of Science ®Google Scholar
• Lopez-Grao, J.-P., and J.-M. Colom. 2011. “Deadlock-Free Verification and Performance Enhancement of Rosettanet Pips with Time Petri Nets.” In Proceedings of the IEEE International Conference on Emerging Technologies and Factory Automation, September 5-9, 1–8.
   Google Scholar
• Michalos, G., S. Makris, and G. Chryssolouris. 2015. “The New Assembly System Paradigm.” International Journal of Computer Integrated Manufacturing 28 (12): 1252–1261. doi:10.1080/0951192X.2014.964323.
   Web of Science ®Google Scholar
• Mourtzis, D., K. Alexopoulos, and G. Chryssolouris. 2012. “Flexibility Consideration in the Design of Manufacturing Systems: An Industrial Case Study.” CIRP Journal of Manufacturing Science and Technology 5 (4): 276–283. doi:10.1016/j.cirpj.2012.10.001.
   Google Scholar
• Nazeem, A., and S. Reveliotis. 2015. “Maximally Permissive Deadlock Avoidance for Resource Allocation Systems with R/W-Locks.” Discrete Event Dynamic Systems-Theory and Applications 25 (1–2): 31–63. doi:10.1007/s10626-014-0202-x.
   Web of Science ®Google Scholar
• Park, J., and S. A. Reveliotis. 2001. “Deadlock Avoidance in Sequential Resource Allocations Systems with Multiple Resource Acquisitions and Flexible Routings.” IEEE Transactions on Automatic Control 46 (10): 1572–1583. doi:10.1109/9.956052.
   Web of Science ®Google Scholar
• Pinheiro, L. P., Y. K. Lopes, A. B. Leal, and R. S. U. Rosso Junior. 2015. “Nadzoru: A Software Tool for Supervisory Control of Discrete Event Systems.” IFAC-PapersOnLine 48 (7): 182–187. doi:10.1016/j.ifacol.2015.06.491.
   Google Scholar
• Piroddi, L., R. Cordone, and I. Fumagalli. 2009. “Combined Siphon and Marking Generation for Deadlock Prevention in Petri Nets.” IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans 39 (3): 650–661. doi:10.1109/TSMCA.2009.2013189.
   Web of Science ®Google Scholar
• Reveliotis, S. 2015. “Coordinating Autonomy.” IEEE Robotics & Automation Magazine 22 (2): 77–94. doi:10.1109/MRA.2015.2401295.
   Web of Science ®Google Scholar
• Reveliotis, S. A. 1998. “Variations of Banker’s Algorithm for Highly Flexible Resource Allocation System.” In Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, October 11-14, 600–604.
   Google Scholar
• Reveliotis, S. A., M. A. Lawley, and P. M. Ferreira. 1997. “Polynomial-Complexity Deadlock Avoidance Policies for Sequential Resource Allocation Systems.” IEEE Transactions on Automatic Control 42 (10): 1344–1357. doi:10.1109/9.633824.
   Web of Science ®Google Scholar
• Roszkowska, E. 2004. “Supervisory Control for Deadlock Avoidance in Compound Processes.” IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans 34 (1): 52–64. doi:10.1109/TSMCA.2003.820572.
   PubMed Web of Science ®Google Scholar
• Silva, D. B., A. D. Vieira, E. F. R. Loures, M. A. Busetti, and E. A. P. Santos. 2011. “Dealing with Routing in an Automated Manufacturing Cell: A Supervisory Control Theory Application.” International Journal of Production Research 49 (16): 4979–4998. doi:10.1080/00207543.2010.519732.
   Web of Science ®Google Scholar
• Sindicic, I., S. Bogdan, and T. Petrovic. 2011. “Resource Allocation in Free-Choice Multiple Reentrant Manufacturing Systems Based on Machine-Job Incidence Matrix.” IEEE Transactions on Industrial Informatics 7 (1): 105–114. doi:10.1109/TII.2010.2076291.
   Web of Science ®Google Scholar
• Skolud, B., and Z. A. Banaszak. 2005. “Modelling of Distributed Control for Repetitive Production Flow Prototyping.” International Journal of Computer Integrated Manufacturing 18 (5): 386–394. doi:10.1080/09511920500081486.
   Web of Science ®Google Scholar
• Uzam, M., Z. W. Li, and M. C. Zhou. 2007. “Identification and Elimination of Redundant Control Places in Petri Net Based Liveness Enforcing Supervisors of FMS.” International Journal of Advanced Manufacturing Technology 35 (1–2): 150–168. doi:10.1007/s00170-006-0701-5.
   Web of Science ®Google Scholar
• Venkatesh, S., and J. S. Smith. 2005. “An Evaluation of Deadlock-Handling Strategies in Semiconductor Cluster Tools.” IEEE Transactions on Semiconductor Manufacturing 18 (1): 197–201. doi:10.1109/TSM.2004.836658.
   Web of Science ®Google Scholar
• Wang, S. G., W. H. Wu, and J. Yang. 2015. “Deadlock Prevention Policy for a Class of Petri Nets Based on Complementary Places and Elementary Siphons.” Journal of Intelligent Manufacturing 26 (2): 321–330. doi:10.1007/s10845-013-0786-2.
   Web of Science ®Google Scholar
• Wu, N. Q., M. C. Zhou, and Z. W. Li. 2008. “Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems.” IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans 38 (1): 56–69. doi:10.1109/TSMCA.2007.909542.
   Web of Science ®Google Scholar
• Xing, K. Y., F. Tian, H. B. Xu, and B. S. Hu. 2006. “Optimal Polynomial Complexity Deadlock Avoidance Policies for Manufacturing Systems with Flexible Routings.” In Proceedings of the IEEE International Conference on Automation Science and Engineering, October 8-10, 448–453.
   Google Scholar
• Xing, K. Y., M. C. Zhou, H. X. Liu, and F. Tian. 2009. “Optimal Petri-Net-Based Polynomial-Complexity Deadlock-Avoidance Policies for Automated Manufacturing Systems.” IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans 39 (1): 188–199. doi:10.1109/TSMCA.2008.2007947.
   Web of Science ®Google Scholar
• Žarnay, M., and F. T. Garca. 2014. “Enhancing Banker’s Algorithm for Avoiding Deadlocks in Systems with Non-Sequential Processes.” In Proceedings of the IEEE International Conference on Emerging Technology and Factory Automation, September 16-19, 1–8.
   Google Scholar
• Zhang, W., and R. P. Judd. 2008. “Deadlock Avoidance Algorithm for Flexible Manufacturing Systems by Calculating Effective Free Space of Circuits.” International Journal of Production Research 46 (13): 3441–3457. doi:10.1080/00207540601161603.
   Web of Science ®Google Scholar
• Zhao, M., and Y. F. Hou. 2013. “An Iterative Method for Synthesizing Non-Blocking Supervisors for a Class of Generalized Petri Nets Using Mathematical Programming.” Discrete Event Dynamic Systems-Theory and Applications 23 (1): 3–26. doi:10.1007/s10626-011-0124-9.
   Web of Science ®Google Scholar
• Zouari, B., and K. Barkaoui. 2003. “Parameterized Supervisor Synthesis for a Modular Class of Discrete Event Systems.” In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, October 5-8, 1874–1879.
   Google Scholar