{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:31:35Z","timestamp":1750221095896,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,11,2]],"date-time":"2018-11-02T00:00:00Z","timestamp":1541116800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Natural Science Foundation of China","award":["61602279?61472229"],"award-info":[{"award-number":["61602279?61472229"]}]},{"name":"the SDUST Research Fund","award":["2015TDJH102"],"award-info":[{"award-number":["2015TDJH102"]}]},{"name":"Shandong Province Postdoctoral Innovation Project","award":["201603056"],"award-info":[{"award-number":["201603056"]}]},{"name":"the Sci. & Tech. Development Fund of Shandong Province of China","award":["2016ZDJS02A11 and ZR2017MF027"],"award-info":[{"award-number":["2016ZDJS02A11 and ZR2017MF027"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,11,2]]},"DOI":"10.1145\/3290420.3290430","type":"proceedings-article","created":{"date-parts":[[2019,3,5]],"date-time":"2019-03-05T20:48:03Z","timestamp":1551818883000},"page":"102-106","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["An introduction and review of petri net unfolding technology"],"prefix":"10.1145","author":[{"given":"Ranran","family":"Tao","sequence":"first","affiliation":[{"name":"Shandong University of Science and Technology, Qingdao, China"}]},{"given":"Faming","family":"Lu","sequence":"additional","affiliation":[{"name":"Shandong University of Science and Technology, Qingdao, China"}]},{"given":"Xueping","family":"Zhang","sequence":"additional","affiliation":[{"name":"Shandong University of Science and Technology, Qingdao, China"}]},{"given":"Guanye","family":"Zhu","sequence":"additional","affiliation":[{"name":"Shandong University of Science and Technology, Qingdao, China"}]}],"member":"320","published-online":{"date-parts":[[2018,11,2]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Petri Net Application{M}","author":"Chongyi Yuan","year":"2013","unstructured":"Chongyi Yuan . Petri Net Application{M} . Beijing : Science Press , 2013 . Chongyi Yuan. Petri Net Application{M}. Beijing: Science Press, 2013."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2011.2160626"},{"issue":"11","key":"e_1_3_2_1_3_1","first-page":"2290","article-title":"Modeling and analysis of interorganizational emergency management system based on Petri net{J}","volume":"36","author":"Qingtian Zeng","year":"2013","unstructured":"Qingtian Zeng , Faming Lu, Cong Liu et al . Modeling and analysis of interorganizational emergency management system based on Petri net{J} . Chinese Journal of Computers , 2013 , 36 ( 11 ): 2290 -- 2302 . Qingtian Zeng, Faming Lu, Cong Liu et al. Modeling and analysis of interorganizational emergency management system based on Petri net{J}. Chinese Journal of Computers, 2013, 36(11):2290--2302.","journal-title":"Chinese Journal of Computers"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90112-2"},{"key":"e_1_3_2_1_5_1","volume-title":"Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits{C}\/\/ International Workshop on Computer Aided Verification","author":"McMillan K L","year":"1992","unstructured":"McMillan K L . Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits{C}\/\/ International Workshop on Computer Aided Verification . Springer-Verlag , 1992 : 164--177. McMillan K L. Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits{C}\/\/ International Workshop on Computer Aided Verification. Springer-Verlag, 1992:164--177."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2014.07.003"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/646480.693793"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/SERVICES-1.2008.14"},{"key":"e_1_3_2_1_9_1","volume-title":"Canonical Prefixes of Petri Net Unfoldings{C}\/\/ International Conference on Computer Aided Verification","author":"Khomenko V","year":"2002","unstructured":"Khomenko V , Koutny M , Vogler W. Canonical Prefixes of Petri Net Unfoldings{C}\/\/ International Conference on Computer Aided Verification . Springer-Verlag , 2002 : 582--595. Khomenko V, Koutny M, Vogler W. Canonical Prefixes of Petri Net Unfoldings{C}\/\/ International Conference on Computer Aided Verification. Springer-Verlag, 2002:582--595."},{"volume-title":"International Conference, CAV 2000, Chicago, Il, Usa, July 15-19, 2000, Proceedings. DBLP","author":"Abdulla P A","key":"e_1_3_2_1_10_1","unstructured":"Abdulla P A , Iyer S P , Nylen A. Unfoldings of Unbounded Petri Nets{C}\/\/ Computer Aided Verification , International Conference, CAV 2000, Chicago, Il, Usa, July 15-19, 2000, Proceedings. DBLP , 2000:495--507. Abdulla P A, Iyer S P, Nylen A. Unfoldings of Unbounded Petri Nets{C}\/\/ Computer Aided Verification, International Conference, CAV 2000, Chicago, Il, Usa, July 15-19, 2000, Proceedings. DBLP, 2000:495--507."},{"volume-title":"International Conference, Icatpn 2004, Bologna, Italy, June 21-25, 2004, Proceedings. DBLP","author":"Desel J","key":"e_1_3_2_1_11_1","unstructured":"Desel J , Juh\u00e1s G , Neumair C. Finite Unfoldings of Unbounded Petri Nets{C}\/\/ Applications and Theory of Petri Nets 2004 , International Conference, Icatpn 2004, Bologna, Italy, June 21-25, 2004, Proceedings. DBLP , 2004:157--176. Desel J, Juh\u00e1s G, Neumair C. Finite Unfoldings of Unbounded Petri Nets{C}\/\/ Applications and Theory of Petri Nets 2004, International Conference, Icatpn 2004, Bologna, Italy, June 21-25, 2004, Proceedings. DBLP, 2004:157--176."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2016.2597061"},{"volume-title":"International Conference on Networking, Sensing and Control. IEEE","author":"Zhang K","key":"e_1_3_2_1_13_1","unstructured":"Zhang K , Liu G , Xiang D. BUCKER : A basic unfolding based checker for soundness of workflow systems{C}\/\/ IEEE , International Conference on Networking, Sensing and Control. IEEE , 2017: 611--616. Zhang K, Liu G, Xiang D. BUCKER: A basic unfolding based checker for soundness of workflow systems{C}\/\/ IEEE, International Conference on Networking, Sensing and Control. IEEE, 2017:611--616."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3012281"},{"key":"e_1_3_2_1_15_1","volume-title":"Workshop on Discrete Event Systems (WODES)","author":"Jezequel A.","year":"2018","unstructured":"L. Jezequel , A. Madalinski , S. Schwoon, Distributed computation of vector clocks in Petri nets unfolding for test selection , Workshop on Discrete Event Systems (WODES) , May 2018 , Sorrento, Italy. http:\/\/www.lsv.fr\/Publis\/PAPERS\/PDF\/JMS-hal18.pdf. L. Jezequel, A. Madalinski, S. Schwoon, Distributed computation of vector clocks in Petri nets unfolding for test selection, Workshop on Discrete Event Systems (WODES), May 2018, Sorrento, Italy. http:\/\/www.lsv.fr\/Publis\/PAPERS\/PDF\/JMS-hal18.pdf."},{"key":"e_1_3_2_1_16_1","volume-title":"DEADLOCK DETECTION WITH STUBBORN UNFOLDINGS{J}","author":"Wang H","year":"2008","unstructured":"Wang H , Buy U. DEADLOCK DETECTION WITH STUBBORN UNFOLDINGS{J} . 2008 . Wang H, Buy U. DEADLOCK DETECTION WITH STUBBORN UNFOLDINGS{J}. 2008."},{"key":"e_1_3_2_1_17_1","volume-title":"Deciding the Deadlock and Livelock in a Petri Net with a Target Marking Based on Its Basic Unfolding{M}\/\/ Algorithms and Architectures for Parallel Processing","author":"Liu G","year":"2016","unstructured":"Liu G , Zhang K , Jiang C. Deciding the Deadlock and Livelock in a Petri Net with a Target Marking Based on Its Basic Unfolding{M}\/\/ Algorithms and Architectures for Parallel Processing . 2016 . Liu G, Zhang K, Jiang C. Deciding the Deadlock and Livelock in a Petri Net with a Target Marking Based on Its Basic Unfolding{M}\/\/ Algorithms and Architectures for Parallel Processing. 2016."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89287-8_11"},{"key":"e_1_3_2_1_19_1","volume-title":"Goal-Driven Unfolding of Petri Nets{R}. arXiv:1611. 01296{cs. LO}","author":"Chatain T","year":"2016","unstructured":"Chatain T , Paulev\u00e9 L. Goal-Driven Unfolding of Petri Nets{R}. arXiv:1611. 01296{cs. LO} . 2016 . Chatain T, Paulev\u00e9 L. Goal-Driven Unfolding of Petri Nets{R}. arXiv:1611. 01296{cs. LO}. 2016."},{"key":"e_1_3_2_1_20_1","first-page":"68","article-title":"Modular construction of finite and complete prefixes of Petri net unfoldings{C}\/\/ International Conference on Application of Concurrency To System Design","volume":"2009","author":"Madalinski A","unstructured":"Madalinski A , Fabre E . Modular construction of finite and complete prefixes of Petri net unfoldings{C}\/\/ International Conference on Application of Concurrency To System Design . IEEE , 2009 : 68 -- 77 . Madalinski A, Fabre E. Modular construction of finite and complete prefixes of Petri net unfoldings{C}\/\/ International Conference on Application of Concurrency To System Design. IEEE, 2009:68--77.","journal-title":"IEEE"},{"key":"e_1_3_2_1_21_1","volume-title":"Unfolding-based partial order reduction, arXiv: Computer Science","author":"Rodr\u00edguez M.","year":"2015","unstructured":"C. Rodr\u00edguez , M. Sousa , S. Sharma , D. Kroening , Unfolding-based partial order reduction, arXiv: Computer Science , 2015 . https:\/\/arxiv.org\/pdf\/1507.00980v1.pdf C. Rodr\u00edguez, M. Sousa, S. Sharma, D. Kroening, Unfolding-based partial order reduction, arXiv: Computer Science, 2015. https:\/\/arxiv.org\/pdf\/1507.00980v1.pdf"},{"key":"e_1_3_2_1_22_1","volume-title":"Efficient Contextual Unfolding{C}\/\/ International Conference on Concurrency Theory","author":"Rodr\u00edguez C","year":"2011","unstructured":"Rodr\u00edguez C , Schwoon S , Baldan P. Efficient Contextual Unfolding{C}\/\/ International Conference on Concurrency Theory . Springer , Berlin, Heidelberg , 2011 : 342--357. Rodr\u00edguez C, Schwoon S, Baldan P. Efficient Contextual Unfolding{C}\/\/ International Conference on Concurrency Theory. Springer, Berlin, Heidelberg, 2011:342--357."},{"key":"e_1_3_2_1_23_1","first-page":"1","article-title":"Detecting Data Inconsistency Based on the Unfolding Technique of Petri Nets{J}","volume":"2017","author":"Xiang D","unstructured":"Xiang D , Liu G , Yan C , Detecting Data Inconsistency Based on the Unfolding Technique of Petri Nets{J} . IEEE Transactions on Industrial Informatics , 2017 , PP(99): 1 -- 1 . Xiang D, Liu G, Yan C, et al. Detecting Data Inconsistency Based on the Unfolding Technique of Petri Nets{J}. IEEE Transactions on Industrial Informatics, 2017, PP(99):1--1.","journal-title":"IEEE Transactions on Industrial Informatics"},{"key":"e_1_3_2_1_24_1","volume-title":"Ph. D. thesis","author":"Khomenko","year":"2003","unstructured":"V. Khomenko , Model checking based on prefixes of Petri net unfoldings , Ph. D. thesis , School of Computing Science, Newcastle University , 2003 . V. Khomenko, Model checking based on prefixes of Petri net unfoldings, Ph. D. thesis, School of Computing Science, Newcastle University, 2003."},{"key":"e_1_3_2_1_25_1","volume-title":"Implementing LTL model checking with net unfoldings{C}\/\/ IEEE","author":"Esparza J","year":"2001","unstructured":"Esparza J , Heljanko K. Implementing LTL model checking with net unfoldings{C}\/\/ IEEE , 2001 :37--56. Esparza J, Heljanko K. Implementing LTL model checking with net unfoldings{C}\/\/ IEEE, 2001:37--56."},{"key":"e_1_3_2_1_26_1","volume-title":"Heljanko K. Unfoldings: A Partial-Order Approach to Model Checking{J}","author":"Esparza J","year":"2008","unstructured":"Esparza J , Heljanko K. Unfoldings: A Partial-Order Approach to Model Checking{J} . 2008 , 1853(1):475--486. Esparza J, Heljanko K. Unfoldings: A Partial-Order Approach to Model Checking{J}. 2008, 1853(1):475--486."},{"key":"e_1_3_2_1_27_1","volume-title":"Verication of Nested Petri Nets Using an Unfolding Approach{C}\/\/ International Workshop on Petri Nets and Software Engineering","author":"Lomazova I A","year":"2016","unstructured":"Lomazova I A , Ermakova V O . Verication of Nested Petri Nets Using an Unfolding Approach{C}\/\/ International Workshop on Petri Nets and Software Engineering . 2016 . Lomazova I A, Ermakova V O. Verication of Nested Petri Nets Using an Unfolding Approach{C}\/\/ International Workshop on Petri Nets and Software Engineering. 2016."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32940-1_33"},{"volume-title":"International Conference on Networking, Sensing and Control. IEEE","author":"Xiang D","key":"e_1_3_2_1_29_1","unstructured":"Xiang D , Liu G , Yan C , DICER: Data Inconsistency CheckER based on the unfolding technique of Petri net{C}\/\/ IEEE , International Conference on Networking, Sensing and Control. IEEE , 2017: 115--120. Xiang D, Liu G, Yan C, et al. DICER: Data Inconsistency CheckER based on the unfolding technique of Petri net{C}\/\/ IEEE, International Conference on Networking, Sensing and Control. IEEE, 2017:115--120."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2351676.2351698"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2015.12"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0353-y"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2012.06.117"},{"key":"e_1_3_2_1_34_1","first-page":"1","article-title":"Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets {J}","volume":"2017","author":"Faming Lu","year":"2017","unstructured":"Faming Lu , Qingtian Zeng, Mengchu Zhou , Yunxia Bao, Hua Duan . Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets {J} , IEEE Transactions on Systems, Man and Cybernetics: Systems , 2017 PP(99): 1 -- 11 . 2017 . 2692262 Faming Lu, Qingtian Zeng, Mengchu Zhou, Yunxia Bao, Hua Duan. Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets {J}, IEEE Transactions on Systems, Man and Cybernetics: Systems, 2017 PP(99):1--11. 2017. 2692262","journal-title":"IEEE Transactions on Systems, Man and Cybernetics: Systems"}],"event":{"name":"ICCIP 2018: 2018 the 4th International Conference on Communication and Information Processing","acronym":"ICCIP 2018","location":"Qingdao China"},"container-title":["Proceedings of the 4th International Conference on Communication and Information Processing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3290420.3290430","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3290420.3290430","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:58:05Z","timestamp":1750208285000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3290420.3290430"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,2]]},"references-count":34,"alternative-id":["10.1145\/3290420.3290430","10.1145\/3290420"],"URL":"https:\/\/doi.org\/10.1145\/3290420.3290430","relation":{},"subject":[],"published":{"date-parts":[[2018,11,2]]},"assertion":[{"value":"2018-11-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}