Improved Design of Concurrent Synchronization System Controller Based on Petri Net

Authors

  • Xu Yang Department of Computer Science, Tongji University, Shanghai 201804, China
  • Shaocui Guo Open Education College, Yantai Vocational College, Yantai 264670, China
  • Dongming Xiang The School of Information Science and Technology, Zhejiang Sci-Tech University, Hangzhou 310018, China
  • Yuxin Yang The Experimental High School Affiliated to Shenzhen University, Shenzhen 518083, China
  • Yijun Chen National Maglev Transportation Engineering R&D Center, Tongji University, Shanghai 201804, China

DOI:

https://doi.org/10.13052/jwe1540-9589.2272

Keywords:

Synchronization concurrent system, Petri net, deadlock detection, deadlock controller, concurrency, deadlock elimination, Petri net with data, data consistent

Abstract

At present, the advancement of science and technology has contributed to the emergence of various network parallel environments, web service concurrency environments and massively parallel processors. In order to abstract some practical systems into concurrent system models, it is necessary to conduct model analysis, and to perform deadlock detection of the concurrent system. Despite prior studies on the control problem of the synchronous concurrent system, there remains room for improvement in terms of workload, time, and efficiency. Some very practical methods are explored by introducing locking and unlocking to synchronize the concurrent system, and the algorithm that involves the specific regulation is provided. The Petri net model of the controller is developed to provide an effective method applicable to find the deadlock and to prevent and eliminate the deadlock for synchronous concurrent systems.

Downloads

Download data is not yet available.

Author Biographies

Xu Yang, Department of Computer Science, Tongji University, Shanghai 201804, China

Xu YANG (1977’02–) male, doctoral candidate, He graduated from Qufu Normal University with a bachelor’s degree in 1999, and graduated from Tianjin Polytechnic University with a master’s degree in 2006. Now he is studying in Tongji University for a doctor’s degree. member of CCF. Research fields: formal methods, concurrency theory.

Shaocui Guo, Open Education College, Yantai Vocational College, Yantai 264670, China

Shaocui Guo (1980’11–), female, associate professor. In 2004, he graduated from Qufu Normal University with a bachelor’s degree in computer science. After graduation, She taught in the Department of Computer Science of Open education college, Yantai vocational college. His main research interests are machine learning (deep learning), big data analysis and its application in the field of industrial intelligence.

Dongming Xiang, The School of Information Science and Technology, Zhejiang Sci-Tech University, Hangzhou 310018, China

Dongming Xiang received the Ph.D. degree in Computer Science and Technology from Tongji University, Shanghai, China, in 2018. He is currently an associate professor with the Department of Computer Science and Technology, Zhejiang Sci-Tech University. He has authored over 25+ papers including TII, TSC, TCSS, JAS, and ICPADS. His research interests include model checking, Petri net, formal methods, business process management, and service computing.

Yuxin Yang, The Experimental High School Affiliated to Shenzhen University, Shenzhen 518083, China

Yuxin Yang (1997’07–), female. She graduated from Hong Kong Baptist University with a bachelor’s degree in Translation and Interpretation in 2019, and graduated from Columbia University with a master’s degree in TESOL in 2021. Now she is working as an English teacher in The Experimental High School Affiliated to Shenzhen University.

Yijun Chen, National Maglev Transportation Engineering R&D Center, Tongji University, Shanghai 201804, China

Yijun Chen (1971’05–) male, senior engineer, member of CCF. Research fields: formal methods, runtime verification.

References

D. Xiang, S. Lin, X. Wang and G. Liu, “Checking Missing-Data Errors in Cyber-Physical Systems Based on the Merged Process of Petri Nets,” in IEEE Transactions on Industrial Informatics, vol. 19, no. 3, pp. 3047–3056, March 2023, doi: 10.1109/TII.2022.3181669.

L. He and G. Liu, “Prioritized Time-Point-Interval Petri Nets Modeling Multiprocessor Real-Time Systems and TCTL_x,” in IEEE Transactions on Industrial Informatics, vol. 19, no. 8, pp. 8784–8794, Aug. 2023, doi: 10.1109/TII.2022.3222342.

F. Zhao, D. Xiang, G. Liu and C. Jiang, “A New Method for Measuring the Behavioral Consistency Degree of WF-Net Systems,” in IEEE Transactions on Computational Social Systems, vol. 9, no. 2, pp. 480–493, April 2022, doi: 10.1109/TCSS.2021.3099475.

L. Qi, Y. Su, M. Zhou and A. Abusorrah, “A State-Equation-Based Backward Approach to a Legal Firing Sequence Existence Problem in Petri Nets,” in IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 53, no. 8, pp. 4968–4979, Aug. 2023, doi: 10.1109/TSMC.2023.3241101.

G. Liu, W. Reisig, C. Jiang and M. Zhou, “A Branching-Process-Based Method to Check Soundness of Workflow Systems,” in IEEE Access, vol. 4, pp. 4104–4118, 2016, doi: 10.1109/ACCESS.2016.2597061.

Z. Zhang, G. Liu, K. Barkaoui and Z. Li, “Adaptive Deadlock Control for a Class of Petri Nets with Unreliable Resources,” in IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 52, no. 5, pp. 3113–3125, May 2022, doi: 10.1109/TSMC.2021.3062469.

D. Xiang, G. Liu, C. Yan and C. Jiang, “A Guard-Driven Analysis Approach of Workflow Net with Data,” in IEEE Transactions on Services Computing, vol. 14, no. 6, pp. 1650–1661, 1 Nov.–Dec. 2021, doi: 10.1109/TSC.2019.2899086.

Yang, Xu. ‘Performance Analysis of Petri Net Based on Moment Generating Function’. 1 Jan. 2023: 1131–1139. https://content.iospress.com/articles/journal-of-intelligent-and-fuzzy-systems/ifs231137.

Y. Huang, T. Wang, Z. Yin, E. Mercer and B. Ogles, “Improving the Efficiency of Deadlock Detection in MPI Programs Through Trace Compression,” in IEEE Transactions on Parallel and Distributed Systems, vol. 34, no. 1, pp. 400–415, 1 Jan. 2023, doi: 10.1109/TPDS.2022.3218346.

Liu, G. (2020). PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets. In: Janicki, R., Sidorova, N., Chatain, T. (eds) Application and Theory of Petri Nets and Concurrency. PETRI NETS 2020. Lecture Notes in Computer Science(), vol. 12152. Springer, Cham. https://doi.org/10.1007/978-3-030-51831-8_10.

Yang, X., Ye, C., Chen, Y. Depth-First Net Unfoldings and Equivalent Reduction. Symmetry 2023, 15, 1775. https://doi.org/10.3390/sym15091775.

Xu Yang and Chen Ye. Analysis of Concurrent Systems Based on Interval Order MVLSC Volume 42, Number 1–3 (2024).

S. Wang, X. Guo, O. Karoui, M. Zhou, D. You and A. Abusorrah, “A Refined Siphon-Based Deadlock Prevention Policy for a Class of Petri Nets,” in IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 53, no. 1, pp. 191–203, Jan. 2023, doi: 10.1109/TSMC.2022. 3174421.

G. Liu, W. Reisig, C. Jiang and M. Zhou, “A Branching-Process-Based Method to Check Soundness of Workflow Systems,” in IEEE Access, vol. 4, pp. 4104–4118, 2016, doi: 10.1109/ACCESS.2016.2597061.

Chao DY, Yu TH. “MLR: A new concept to launch a partial deadlock avoidance policy for k-th order system of Petri Nets”, Industrial Electronics Society IECON 2015 – 41st Annual Conference of the IEEE, pp. 003148–003152, 2015.

Yu TH. “Parameterized of Control Related States of Gen-Right k-th order system of Petri nets based on proof by model of Gen-Left”, Industrial Electronics Society IECON 2016 – 42nd Annual Conference of the IEEE, pp. 276–281, 2016.

Chao DY, Yu TH, Chen TY. “Computation of Control Related States of Middle k-th Order System (with a Nonsharing Resource Place) of Petri Nets”, Computer Consumer and Control (IS3C) 2014 International Symposium on, pp. 244–247, 2014.

W. Luan, L. Qi, Z. Zhao, J. Liu and Y. Du, “Logic Petri Net Synthesis for Cooperative Systems,” in IEEE Access, vol. 7, pp. 161937–161948, 2019, doi: 10.1109/ACCESS.2019.2950971.

Watt C, Pulte C, Podkopaev A, et al. 2020. Repairing and mechanising the JavaScript relaxed memory model. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020). Association for Computing Machinery, New York, NY, USA, 346–361. doi: 10.1145/3385412.3385973.

Downloads

Published

2024-02-03

How to Cite

Yang, X. ., Guo, S. ., Xiang, D. ., Yang, Y. ., & Chen, Y. . (2024). Improved Design of Concurrent Synchronization System Controller Based on Petri Net. Journal of Web Engineering, 22(07), 961–982. https://doi.org/10.13052/jwe1540-9589.2272

Issue

2023: Vol 22 Iss 7

Section

Articles