Abstract
Currently, the marketing strategy in the manufacturing industry is becoming more and more competitive. Thus, the production efficiency becomes the main developing trend, which many people are now pursuing. However, the automatic production might cause resource conflicts and system deadlocks. In this study, Petri net models and analysis were used to effectively avoid deadlocks and to achieve the goal of lean production. The iPhone XS device developed by Apple is now a popular product. Consequently, this paper aims to describe its manufacturing system by using Petri net models. Meanwhile, the siphon property of Petri nets can be used to detect the deadlock in the manufacturing processes and to avoid it from occurring. Two simulation software tools, WoPeD and PIPE, were applied to conduct the experiments. The experimental results have indicated that our proposed approach is more feasible and acceptable than other existing ones.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
A. Pla, P. Gay, and J. Melendez, “Petri net-based process monitoring: A workflow management system for process modeling and monitoring,” Journal of Intelligent Manufacturing, vol. 25, no. 3, pp. 539–554, June 2014.
J. Liu, Z. Zhou, and Z. Wang, “Online fault diagnosis in discrete event systems with partially observed Petri nets,” International Journal of Control, Automation, and Systems, vol. 16, pp. 217–224, March 2018.
C. Lin, Stochastic Petri Nets and System Performance Evaluation, 2nd ed., Tsinghua University Press, 2009.
Y. Chen, Z. Li, and M. C. Zhou, “Optimal supervisory control of flexible manufacturing systems by Petri nets: A set classification approach,” IEEE Transactions on Automation Science and Engineering, vol. 11, no. 2, pp. 549–563, April 2014.
G. Chen, Y. Yang, and J. Li, “Modeling and stability analysis of hybrid dynamical systems based on extended differential Petri nets,” International Journal of Control, Automation, and Systems, vol. 10, pp. 238–248, April 2012.
J. C. Luo, K. Y. Xing, M. C. Zhou, X. L. Li, and X. N. Wang, “Deadlock-free scheduling of automated manufacturing systems using Petri nets and hybrid heuristic search,” IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 45, no. 3, pp. 530–541, March 2015.
WoPeD, 2019. Retrieved from https://woped.dhbw-karlsruhe.de/.
PIPE, 2019. Retrieved from https://omictools.com/pipe-2-tool.
Y. F. Hou and K. Barkaoui, “Deadlock analysis and control based on Petri nets: A siphon approach review,” Advances in Mechanical Engineering, vol. 9, no. 5, pp. 1–30, May 2019.
iPhone XS and XS MAX Teardown, 2019. Retrieved from https://zh.ifixit.com/Guide/iPhone+XS%E5%8F%8AXS+MAX%E6%8B%86%E8%A7%A3/113021.
Teardown: Apple iPhone X, 2019. Retrieved from https://eandt.theiet.org/content/articles/2018/01/teardown-apple-iphone-x/.
The $999 iPhone X is estimated to include less than $400 in parts, 2019. Retrieved from https://www.businessinsider.com/iphone-x-teardown-parts-cost-ihs-markit-2017-11.
R. Murai, 2014. Apple iPhone 6 Screen Glitch Leaves Supply Chain Scrambling. Retrieved from https://www.supplychain247.com/article/apple_iphone_6_screen_glitch_leaves_supply_chain_scrambling.
B. Huang, H. Zhu, G. X. Zhang, and X. L. Lu, “On further reduction of constraints in Nonpure Petri net supervisors for optimal deadlock control of flexible manufacturing systems,” IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 45, no. 3, pp. 542–543, March 2015.
D.-F. Zhang, S.-P. Zhang, Z.-Q. Wang, and B.-C. Lu, “Dynamical control allocation algorithm for a class of distributed control systems,” International Journal of Control, Automation, and Systems, vol. 18, pp. 259–270, September 2019.
G. Mejía, J. P. Caballero-Villalobos, and C. Montoya, “Petri nets and deadlock-free scheduling of open shop manufacturing systems,” IEEE Transactions on Systems, Man, and Cybernetics, vol. 48, no. 6, pp. 1017–1028, June 2018.
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, April 1995.
H. S. Hu and M. C. Zhou, “A Petri net-based discrete-event control of automated manufacturing systems with assembly operations,” IEEE Transactions on Control Systems Technology, vol. 23, no. 2, pp. 513–524, March 2015.
Z. W. Li, G. Y. Liu, H. M. Hanisch, and M. C. Zhou, “Deadlock prevention based on structure reuse of Petri net supervisors for flexible manufacturing systems,” IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans, vol. 42, no. 1, pp.178–191, January 2012.
M. H. Abdul-Hussin and Z. A. Banaszak, “Siphon-based deadlock prevention for a class of S4PR generalized Petri nets,” Proc. of 2017 International Conference on Control, ICCAIS, Chiang Mai, Thailand, pp. 239–244, 2017.
D. Y. Chao, J. T. Chen, “Segment theory to compute elementary siphons in Petri nets for deadlock control,” Journal of the Chinese Institute of Industrial Engineers, vol. 28, no. 8, pp. 573–585, January 2012.
H. Hu, M. C. Zhou, and Z. W. Li, “Supervisor optimization for deadlock resolution in automated manufacturing systems with Petri nets,” IEEE Transactions on Automation Science and Engineering, vol. 8, no. 4, pp. 794–804, October 2011.
M. Dotoli, M. P. Fanti, G. Iacobellis, A. M. Mangini, “A first-order hybrid Petri net model for supply chain management,” IEEE Transactions on Automation Science and Engineering, vol. 6, no. 4, pp. 744–758, October 2009.
Z. He, Z. Li, A. Giua, “Optimization of deterministic timed weighted marked graphs,” IEEE Transactions on Automation Science and Engineering, vol. 14, no. 2, pp. 1084–1095, April 2017.
H. Hu, M. C. Zhou, Z. Li, and Y. Tang, “An optimization approach to improve Petri net controller design for automated manufacturing systems,” IEEE Transactions on Automation Science and Engineering, vol. 10, no. 3, pp. 772–782, July 2013.
Funding
The authors are grateful to the anonymous reviewers for their constructive comments which have improved the quality of this paper. Also, this work was supported by the Ministry of Science and Technology, Taiwan, R.O.C., under grants MOST 107-2221-E-845-001-MY3 and MOST 107-2221-E-845- 002-MY3.
Author information
Authors and Affiliations
Corresponding author
Additional information
Yi-Nan Lin received his B.S. degree in electrical engineering from National Taiwan Institute of Technology in 1989; an M.S. degree in computer science & engineering from Yuan Ze University, Taiwan, in 2000; and a Ph.D. degree in Electrical Engineering from Chang Gung University, Taiwan, in 2009. Since 1990, he has joined the Department of Electrical Engineering in Ming Chi University of Technology (MCUT), New Taipei City, Taiwan. Currently, he is employed as a Professor at the Department of Electronic Engineering in MCUT. His current research interests include Petri net theory and applications, error-control coding, and embedded information system.
Sheng-Kuan Wang was born in Chiayi County, Taiwan, ROC. He received his M.S. and Ph.D. degrees in electrical engineering from National Taiwan University, Taipei, Taiwan, in 1998 and 2007, respectively. Since 1998, he has been serving as Associate Professor at the Department of Electrical Engineering in Ming Chi University of Technology, New Taipei City, Taiwan, ROC. His research interests include Petri net theory and applications, power system dynamic stability, application of FACTS devices, economic dispatch, development and application of optimization algorithm, image processing, and wind power generation system.
Gwo-Jen Chiou was born in Chiayi, Taiwan, in 1964. He received his M. S. degree in electrical engineering from National Tsing Hua University, Hsinchu, Taiwan, in 1988. He received his Ph.D. degree in electrical engineering at National Chung Cheng University, Chiayi, Taiwan, in 1997. He is currently an Associate Professor at the Department of Electrical Engineering in National Formosa University. His research interests are in the areas of power electronics, power system economic dispatch, and application of artificial intelligence to power systems.
Cheng-Ying Yang was born in Taipei on October 13, 1964. He received his M.S. degree in electronic engineering from Monmouth University, New Jersey, in 1991; and a Ph.D. degree from the University of Toledo, Ohio, USA, in 1999. He is a member of IEEE Satellite & Space Communication Society. Currently, he is employed as a Professor at The University of Taipei, Taiwan. His research interests include Petri net theory and applications, performance analysis of digital communication systems, signal processing, and computer security.
Victor R. L. Shen received his B.S. and M.S. degrees in electronic engineering of Industrial Education from National Taiwan Normal University, Taiwan, in 1975 and 1980, respectively. Also, he earned his M.S. degree in electrical engineering and computer science from the University of Illinois at Chicago, USA, in 1987. And he received his Ph.D. degree in electrical engineering from National Taiwan University in 1997. From July 2002 to November 2002, he was a visiting Professor at Information Science Institute in the University of Southern California, USA. Since February 2017, he has been hired as an Adjunct Professor at the Department of Computer Science and Information Engineering in National Taipei University; an Honorary Distinguished Professor at the Department of Electronic Engineering in Ming Chi University of Technology; and an Honorary Distinguished Professor at the Department of Information Management in Chaoyang University of Technology. His current research interests include e-Learning system development, Petri net theory and applications, artificial intelligence (AI), knowledge-based systems, specification and formal verification of digital systems, high-level synthesis of VLSI, information security, smart home, and pattern recognition.
Tony Tong-Ying Juang is now serving as a Distinguished Professor at the Department of Computer Science and Information Engineering, and Dean of Electrical Engineering and Computer Science College in National Taipei University. His research interests include mobile computing, wireless networks, distributed and parallel computing. He received a B.S. in naval architecture from National Taiwan University, and his M.S. and Ph.D. in computer science from the University of Texas at Dallas, USA. Contact him at the Department of Computer Science and Information Engineering, National Taipei University, New Taipei City, Taiwan, ROC.
Ting-Jui Huang received her B.S. degree in industrial engineering and enterprise information from Tung Hai University, Taichung City, Taiwan, in July 2017. She received her M.S. degree in computer science from National Taipei University in July 2019. Her research interests are in automated manufacturing, Petri net theory and applications, and manufacturing process optimization.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Lin, YN., Wang, SK., Chiou, GJ. et al. Novel Deadlock Control for Smartphone Manufacturing Systems Using Petri Nets. Int. J. Control Autom. Syst. 20, 877–887 (2022). https://doi.org/10.1007/s12555-020-0239-6
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12555-020-0239-6