{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:00:26Z","timestamp":1750309226450,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,12,14]],"date-time":"2023-12-14T00:00:00Z","timestamp":1702512000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,12,14]]},"DOI":"10.1145\/3659154.3659182","type":"proceedings-article","created":{"date-parts":[[2024,12,26]],"date-time":"2024-12-26T12:17:39Z","timestamp":1735215459000},"page":"115-120","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Production Resource Scheduling for Industrial Internet Products Based on Finite State Automata and Critical Locks"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-2851-4855","authenticated-orcid":false,"given":"Fei-Fan","family":"Tu","sequence":"first","affiliation":[{"name":"College of Cyber Security, Jinan University, Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3133-077X","authenticated-orcid":false,"given":"Yan-Ming","family":"Huang","sequence":"additional","affiliation":[{"name":"College of Cyber Security, Jinan University, Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-6210-5055","authenticated-orcid":false,"given":"Rong-Hao","family":"Hou","sequence":"additional","affiliation":[{"name":"College of Cyber Security, Jinan University, Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9110-5892","authenticated-orcid":false,"given":"Dong-Jie","family":"Liu","sequence":"additional","affiliation":[{"name":"College of Cyber Security, Jinan University, Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1671-1379","authenticated-orcid":false,"given":"Xiao-Bo","family":"Jin","sequence":"additional","affiliation":[{"name":"Department of Intelligent Science, Xi'an Jiaotong-Liverpool University, Suzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5089-9929","authenticated-orcid":false,"given":"Guang-Gang","family":"Geng","sequence":"additional","affiliation":[{"name":"College of Cyber Security, Jinan University, Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,12,26]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"crossref","unstructured":"J.-H. Lee H.-J. Kim and T.-E. Lee \u201cScheduling cluster tools for concurrent processing of two wafer types \u201d IEEE Trans. Automat. Sci. Eng. vol. 11 no. 2 pp. 525\u2013536 Apr. 2014.","DOI":"10.1109\/TASE.2013.2296855"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"crossref","unstructured":"J. P. Wang H. S. Hu C. R. Pan Y. Zhou and L. Li \u201cScheduling dual-arm cluster tools with multiple wafer types and residency time constraints \u201d IEEE\/CAA J. Automatica Sinica vol. 7 no. 3 pp. 776\u2013789 May 2020.","DOI":"10.1109\/JAS.2020.1003150"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"crossref","unstructured":"Zhu Q H Wang G H Hou Y et al. Optimally Scheduling Dual-Arm Multi-Cluster Tools to Process Two Wafer Types[J]. IEEE Robotics and Automation Letters 2022 7(3): 5920-5927.","DOI":"10.1109\/LRA.2022.3157031"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"crossref","unstructured":"H. J. Yoon and D. Y. Lee \u201cOnline scheduling of integrated single-wafer processing tools with temporal constraints \u201d IEEE Trans. Semicond. Manuf. vol. 18 no. 3 pp. 390\u2013398 Aug. 2005.","DOI":"10.1109\/TSM.2005.852103"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"crossref","unstructured":"N. Wu C. Chu F. Chu and M. C. Zhou \u201cA Petri net method for schedulability and scheduling problems in single-arm cluster tools with wafer residency time constraints \u201d IEEE Trans. Semicond. Manuf. vol. 21 no. 2 pp. 224\u2013237 May 2008.","DOI":"10.1109\/TSM.2008.2000425"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"crossref","unstructured":"D. Roh T. Lee and T.-E. Lee \u201cK -cyclic schedules and the worstcase wafer delay in a dual-armed cluster tool \u201d IEEE Trans. Semicond. Manuf. vol. 32 no. 2 pp. 236\u2013249 May 2019.","DOI":"10.1109\/TSM.2019.2910399"},{"key":"e_1_3_3_1_8_2","unstructured":"J.-H. Kim and T.-E. Lee \u201cSchedule stabilization and robust timing control for time-constrained cluster tools \u201d in Proc. IEEE Int. Conf. Robot. Autom. Taipei Taiwan Sep. 2003 pp. 1039\u20131044."},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"crossref","unstructured":"Pan C R Qiao Y Zhou M C et al. Scheduling and analysis of start-up transient processes for dual-arm cluster tools with wafer revisiting[J]. IEEE Transactions on Semiconductor Manufacturing 2015 28(2): 160-170.","DOI":"10.1109\/TSM.2015.2390644"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"crossref","unstructured":"Wang J Hu H Pan C et al. Scheduling dual-arm cluster tools with multiple wafer types and residency time constraints[J]. IEEE\/CAA Journal of Automatica Sinica 2020 7(3): 776-789.","DOI":"10.1109\/JAS.2020.1003150"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"crossref","unstructured":"Qiao Y Wu N Q Yang F J et al. Robust scheduling of time-constrained dual-arm cluster tools with wafer revisiting and activity time disturbance[J]. IEEE Transactions on Systems Man and Cybernetics: Systems 2017 49(6): 1228-1240.","DOI":"10.1109\/TSMC.2017.2721979"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"crossref","unstructured":"Azadeh A Negahban A Moghaddam M. A hybrid computer simulation-artificial neural network algorithm for optimisation of dispatching rule selection in stochastic job shop scheduling problems. Int J Prod Res 2012;50(2). https:\/\/doi. org\/10.1080\/00207543.2010.539281.","DOI":"10.1080\/00207543.2010.539281"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","unstructured":"abar NR Ayob M Kendall G Qu R. A dynamic multiarmed bandit-gene expression programming hyper-heuristic for combinatorial optimization problems. IEEE Trans Cybern 2015;45(2). 10.1109\/TCYB.2014.2323936.","DOI":"10.1109\/TCYB.2014.2323936"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","unstructured":"Cao Z Lin C Zhou M Huang R. Scheduling semiconductor testing facility by using cuckoo search algorithm with reinforcement learning and surrogate modeling. IEEE Trans Autom Sci Eng 2019;16(2). 10.1109\/TASE.2018.2862380.","DOI":"10.1109\/TASE.2018.2862380"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","unstructured":"Kintsakis AM Psomopoulos FE Mitkas PA. Reinforcement Learning based scheduling in a workflow management system. Eng Appl Artif Intell 2019;81. 10.1016\/j.engappai.2019.02.013https:\/\/dl.acm.org\/doi\/10.1016\/j.engappai.2019.02.013.","DOI":"10.1016\/j.engappai.2019.02.013"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"crossref","unstructured":"Wang J Gao P Zheng P et al. A fuzzy hierarchical reinforcement learning based scheduling method for semiconductor wafer manufacturing systems[J]. Journal of Manufacturing Systems 2021 61: 239-248.","DOI":"10.1016\/j.jmsy.2021.08.008"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"crossref","unstructured":"Huang B Zhou M C. Supervisory Control and Scheduling of Resource Allocation Systems: Reachability Graph Perspective[M]. John Wiley & Sons 2020.","DOI":"10.1002\/9781119619727"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"crossref","unstructured":"Wi\u015bniewski R Karatkevich A Wojnakowski M. Decomposition of distributed edge systems based on the Petri nets and linear algebra technique[J]. Journal of Systems Architecture 2019 96: 20-31.","DOI":"10.1016\/j.sysarc.2019.01.015"},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"crossref","unstructured":"Yuan F Zhao Q Huang B et al. Scheduling of time-constrained single-arm cluster tools with purge operations in wafer fabrications[J]. Journal of Systems Architecture 2023 134: 102788.","DOI":"10.1016\/j.sysarc.2022.102788"},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"crossref","unstructured":"Yang F Wu N Qiao Y et al. Polynomial approach to optimal one-wafer cyclic scheduling of treelike hybrid multi-cluster tools via Petri nets[J]. IEEE\/CAA Journal of Automatica Sinica 2017 5(1): 270-280.","DOI":"10.1109\/JAS.2017.7510772"},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"crossref","unstructured":"B. Huang M. Zhou X. S. Lu and A. Abusorrah \u201cScheduling of resource allocation systems with timed Petri nets: A survey \u201d ACM Comput. Surv. vol. 55 no. 11 pp. 1\u201327 Feb. 2023.","DOI":"10.1145\/3570326"},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"crossref","unstructured":"Pan C R Zhou M C Qiao Y et al. Scheduling cluster tools in semiconductor manufacturing: Recent advances and challenges[J]. IEEE transactions on automation science and engineering 2017 15(2): 586-601.","DOI":"10.1109\/TASE.2016.2642997"},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"crossref","unstructured":"D. Lee and M. Yannakakis \"Principles and methods of testing finite state machines-a survey \" in Proceedings of the IEEE vol. 84 no. 8 pp. 1090-1123 Aug. 1996 doi: 10.1109\/5.533956.","DOI":"10.1109\/5.533956"},{"key":"e_1_3_3_1_24_2","doi-asserted-by":"publisher","unstructured":"Taubenfeld G. (2008). Concurrent Programming Mutual Exclusion. In: Kao MY. (eds) Encyclopedia of Algorithms. Springer Boston MA. 10.1007\/978-0-387-30162-4_88","DOI":"10.1007\/978-0-387-30162-4_88"},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"crossref","unstructured":"Dijkstra E.W.: Solution of a problem in concurrent programming control. Commun. ACM 8(9) 569 (1965)","DOI":"10.1145\/365559.365617"},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"publisher","unstructured":"Ben Alla H. Ben Alla S. Ezzati A. Touhafi A. (2017). An Efficient Dynamic Priority-Queue Algorithm Based on AHP and PSO for Task Scheduling in Cloud Computing. In: Abraham A. Haqiq A. Alimi A. Mezzour G. Rokbani N. Muda A. (eds) Proceedings of the 16th International Conference on Hybrid Intelligent Systems (HIS 2016). HIS 2016. Advances in Intelligent Systems and Computing vol 552. Springer Cham. 10.1007\/978-3-319-52941-7_14","DOI":"10.1007\/978-3-319-52941-7_14"},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"crossref","unstructured":"Xu Y Li K Hu J et al. A genetic algorithm for task scheduling on heterogeneous computing systems using multiple priority queues[J]. Information Sciences 2014 270: 255-287.","DOI":"10.1016\/j.ins.2014.02.122"},{"key":"e_1_3_3_1_28_2","unstructured":"Craig T. Building FIFO and priorityqueuing spin locks from atomic swap[R]. Technical Report TR 93-02-02 Department of Computer Science University of Washington 1993."},{"key":"e_1_3_3_1_29_2","unstructured":"Burns A. Preemptive priority based scheduling: An appropriate engineering approach[M]. University of York Department of Computer Science 1993."}],"event":{"name":"ICEA 2023: The 2023 International Conference on Intelligent Computing and Its Emerging Applications","acronym":"ICEA 2023","location":"Kaohsiung Taiwan"},"container-title":["Proceedings of the 2023 International Conference on Intelligent Computing and Its Emerging Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3659154.3659182","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3659154.3659182","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T23:44:14Z","timestamp":1750290254000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3659154.3659182"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,14]]},"references-count":28,"alternative-id":["10.1145\/3659154.3659182","10.1145\/3659154"],"URL":"https:\/\/doi.org\/10.1145\/3659154.3659182","relation":{},"subject":[],"published":{"date-parts":[[2023,12,14]]},"assertion":[{"value":"2024-12-26","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}