{"id":"https://openalex.org/W3083862868","doi":"https://doi.org/10.1109/access.2020.3022643","title":"On Multi-Step Look-Ahead Deadlock Prediction for Automated Manufacturing Systems Based on Petri Nets","display_name":"On Multi-Step Look-Ahead Deadlock Prediction for Automated Manufacturing Systems Based on Petri Nets","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3083862868","doi":"https://doi.org/10.1109/access.2020.3022643","mag":"3083862868"},"language":"en","primary_location":{"id":"doi:10.1109/access.2020.3022643","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2020.3022643","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8948470/09187892.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/8948470/09187892.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102866489","display_name":"Rongfeng Lin","orcid":"https://orcid.org/0000-0001-8434-9098"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Rongfeng Lin","raw_affiliation_strings":["School of Electro-Mechanical Engineering, Xidian University, Xi\u2019an, China","School of Electro-Mechanical Engineering, Xidian University, Xi'an, China"],"raw_orcid":"https://orcid.org/0000-0001-8434-9098","affiliations":[{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi\u2019an, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi'an, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059744438","display_name":"Zhenhua Yu","orcid":"https://orcid.org/0000-0002-7204-3654"},"institutions":[{"id":"https://openalex.org/I110440473","display_name":"Xi'an University of Science and Technology","ror":"https://ror.org/046fkpt18","country_code":"CN","type":"education","lineage":["https://openalex.org/I110440473"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhenhua Yu","raw_affiliation_strings":["Institute of Systems Security and Control, College of Computer Science and Technology, Xi\u2019an University of Science and Technology, Xi\u2019an, China","Institute of Systems Security and Control, College of Computer Science and Technology, Xi'an University of Science and Technology, Xi'an, China"],"raw_orcid":"https://orcid.org/0000-0002-7204-3654","affiliations":[{"raw_affiliation_string":"Institute of Systems Security and Control, College of Computer Science and Technology, Xi\u2019an University of Science and Technology, Xi\u2019an, China","institution_ids":["https://openalex.org/I110440473"]},{"raw_affiliation_string":"Institute of Systems Security and Control, College of Computer Science and Technology, Xi'an University of Science and Technology, Xi'an, China","institution_ids":["https://openalex.org/I110440473"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062824620","display_name":"Xiaonan Shi","orcid":"https://orcid.org/0000-0002-3085-6155"},"institutions":[{"id":"https://openalex.org/I110440473","display_name":"Xi'an University of Science and Technology","ror":"https://ror.org/046fkpt18","country_code":"CN","type":"education","lineage":["https://openalex.org/I110440473"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaonan Shi","raw_affiliation_strings":["Institute of Systems Security and Control, College of Computer Science and Technology, Xi\u2019an University of Science and Technology, Xi\u2019an, China","Institute of Systems Security and Control, College of Computer Science and Technology, Xi'an University of Science and Technology, Xi'an, China"],"raw_orcid":"https://orcid.org/0000-0002-3085-6155","affiliations":[{"raw_affiliation_string":"Institute of Systems Security and Control, College of Computer Science and Technology, Xi\u2019an University of Science and Technology, Xi\u2019an, China","institution_ids":["https://openalex.org/I110440473"]},{"raw_affiliation_string":"Institute of Systems Security and Control, College of Computer Science and Technology, Xi'an University of Science and Technology, Xi'an, China","institution_ids":["https://openalex.org/I110440473"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068757943","display_name":"Lihong Dong","orcid":"https://orcid.org/0000-0001-7043-5657"},"institutions":[{"id":"https://openalex.org/I110440473","display_name":"Xi'an University of Science and Technology","ror":"https://ror.org/046fkpt18","country_code":"CN","type":"education","lineage":["https://openalex.org/I110440473"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lihong Dong","raw_affiliation_strings":["Institute of Systems Security and Control, College of Computer Science and Technology, Xi\u2019an University of Science and Technology, Xi\u2019an, China","Institute of Systems Security and Control, College of Computer Science and Technology, Xi'an University of Science and Technology, Xi'an, China"],"raw_orcid":"https://orcid.org/0000-0001-7043-5657","affiliations":[{"raw_affiliation_string":"Institute of Systems Security and Control, College of Computer Science and Technology, Xi\u2019an University of Science and Technology, Xi\u2019an, China","institution_ids":["https://openalex.org/I110440473"]},{"raw_affiliation_string":"Institute of Systems Security and Control, College of Computer Science and Technology, Xi'an University of Science and Technology, Xi'an, China","institution_ids":["https://openalex.org/I110440473"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088907972","display_name":"Emad Abouel Nasr","orcid":"https://orcid.org/0000-0001-6967-7747"},"institutions":[{"id":"https://openalex.org/I28022161","display_name":"King Saud University","ror":"https://ror.org/02f81g417","country_code":"SA","type":"education","lineage":["https://openalex.org/I28022161"]},{"id":"https://openalex.org/I84058292","display_name":"Helwan University","ror":"https://ror.org/00h55v928","country_code":"EG","type":"education","lineage":["https://openalex.org/I84058292"]}],"countries":["EG","SA"],"is_corresponding":false,"raw_author_name":"Emad Abouel Nasr","raw_affiliation_strings":["Industrial Engineering Department, College of Engineering, King Saud University, Riyadh, Saudi Arabia","Mechanical Engineering Department, Faculty of Engineering, Helwan University, Cairo, Egypt"],"raw_orcid":"https://orcid.org/0000-0001-6967-7747","affiliations":[{"raw_affiliation_string":"Industrial Engineering Department, College of Engineering, King Saud University, Riyadh, Saudi Arabia","institution_ids":["https://openalex.org/I28022161"]},{"raw_affiliation_string":"Mechanical Engineering Department, Faculty of Engineering, Helwan University, Cairo, Egypt","institution_ids":["https://openalex.org/I84058292"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.7285,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.77300286,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"8","issue":null,"first_page":"170421","last_page":"170432"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9908999800682068,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.9587109684944153},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.9040571451187134},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.8810415267944336},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.795306384563446},{"id":"https://openalex.org/keywords/deadlock-prevention-algorithms","display_name":"Deadlock prevention algorithms","score":0.7845902442932129},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.6478393077850342},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5774672031402588},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.4435606598854065},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4299383759498596},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2558324933052063},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09441792964935303}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9587109684944153},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.9040571451187134},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.8810415267944336},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.795306384563446},{"id":"https://openalex.org/C113429609","wikidata":"https://www.wikidata.org/wiki/Q4060699","display_name":"Deadlock prevention algorithms","level":3,"score":0.7845902442932129},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6478393077850342},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5774672031402588},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.4435606598854065},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4299383759498596},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2558324933052063},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09441792964935303}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2020.3022643","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2020.3022643","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8948470/09187892.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:873ec1bb84364a7180ccf6e86e0bc4f8","is_oa":true,"landing_page_url":"https://doaj.org/article/873ec1bb84364a7180ccf6e86e0bc4f8","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 8, Pp 170421-170432 (2020)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2020.3022643","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2020.3022643","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8948470/09187892.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1199273081","display_name":null,"funder_award_id":"2019GY-056","funder_id":"https://openalex.org/F4320336350","funder_display_name":"Key Research and Development Projects of Shaanxi Province"},{"id":"https://openalex.org/G3175156566","display_name":null,"funder_award_id":"61873277","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3827297357","display_name":"\u7a81\u53d1\u4e8b\u4ef6\u5e94\u6025\u6551\u63f4\u53d8\u7ed3\u6784\u5171\u751f\u4eff\u771f\u65b9\u6cd5\u7814\u7a76","funder_award_id":"71571190","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4864931612","display_name":null,"funder_award_id":"RSP-2020/164","funder_id":"https://openalex.org/F4320321145","funder_display_name":"King Saud University"},{"id":"https://openalex.org/G5079375510","display_name":null,"funder_award_id":"2018ZDXM-GY-036","funder_id":"https://openalex.org/F4320336350","funder_display_name":"Key Research and Development Projects of Shaanxi Province"},{"id":"https://openalex.org/G8956508352","display_name":null,"funder_award_id":"2018ZDXM-GY-036","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321145","display_name":"King Saud University","ror":"https://ror.org/02f81g417"},{"id":"https://openalex.org/F4320336350","display_name":"Key Research and Development Projects of Shaanxi Province","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3083862868.pdf","grobid_xml":"https://content.openalex.org/works/W3083862868.grobid-xml"},"referenced_works_count":57,"referenced_works":["https://openalex.org/W332683046","https://openalex.org/W1483186571","https://openalex.org/W1601529513","https://openalex.org/W1679355703","https://openalex.org/W1996109622","https://openalex.org/W2001822592","https://openalex.org/W2005217875","https://openalex.org/W2010353902","https://openalex.org/W2035556324","https://openalex.org/W2046652007","https://openalex.org/W2098899007","https://openalex.org/W2099550549","https://openalex.org/W2104367108","https://openalex.org/W2105435021","https://openalex.org/W2107335734","https://openalex.org/W2108678912","https://openalex.org/W2109787297","https://openalex.org/W2116052577","https://openalex.org/W2126163520","https://openalex.org/W2127695392","https://openalex.org/W2134479195","https://openalex.org/W2140444941","https://openalex.org/W2140872435","https://openalex.org/W2144623944","https://openalex.org/W2146738006","https://openalex.org/W2147281200","https://openalex.org/W2165406169","https://openalex.org/W2165594843","https://openalex.org/W2168296740","https://openalex.org/W2170919713","https://openalex.org/W2171919859","https://openalex.org/W2294580796","https://openalex.org/W2310793150","https://openalex.org/W2403044140","https://openalex.org/W2461900131","https://openalex.org/W2509841691","https://openalex.org/W2538443008","https://openalex.org/W2594774104","https://openalex.org/W2747398243","https://openalex.org/W2765202909","https://openalex.org/W2768219798","https://openalex.org/W2799338570","https://openalex.org/W2894979619","https://openalex.org/W2905463492","https://openalex.org/W2956599543","https://openalex.org/W2962715553","https://openalex.org/W2969897625","https://openalex.org/W2980015804","https://openalex.org/W2999990453","https://openalex.org/W3007842207","https://openalex.org/W3032325277","https://openalex.org/W3032987964","https://openalex.org/W3047401442","https://openalex.org/W6636037439","https://openalex.org/W6679733747","https://openalex.org/W6684891323","https://openalex.org/W6734581516"],"related_works":["https://openalex.org/W1904030840","https://openalex.org/W153779636","https://openalex.org/W2552031328","https://openalex.org/W2144623944","https://openalex.org/W2092311420","https://openalex.org/W3083862868","https://openalex.org/W4242099213","https://openalex.org/W2141563078","https://openalex.org/W1679355703","https://openalex.org/W4361186044"],"abstract_inverted_index":{"Automated":[0],"manufacturing":[1],"systems":[2],"(AMSs)":[3],"are":[4],"prone":[5],"to":[6,20,43,79,107,137],"be":[7],"in":[8],"deadlock":[9,22,40,47,83,134,141],"states":[10],"when":[11],"resource":[12],"allocation":[13],"is":[14,24,71,86],"unreasonable.":[15],"Reasonably":[16],"allocating":[17],"system":[18],"resources":[19,106],"achieve":[21],"control":[23],"a":[25,37,51,57,66,91,124,131,145],"primary":[26],"task":[27],"of":[28,31,65,119,147],"the":[29,62,74,81,97,109,115,120],"design":[30],"an":[32,45,139],"AMS.":[33],"This":[34],"paper":[35],"proposes":[36],"multi-step":[38,132],"look-ahead":[39,133],"prediction":[41,135],"method":[42,136],"obtain":[44,80,138],"optimal":[46,82,140],"avoidance":[48,84,142],"policy":[49,85,143],"for":[50,144],"class":[52,146],"Petri":[53,68,92,99],"nets,":[54],"without":[55],"calculating":[56],"complete":[58],"reachability":[59,63],"graph.":[60],"As":[61],"graph":[64],"large-scale":[67],"net":[69,93,100],"model":[70,94,110,122],"usually":[72],"large,":[73],"analysis":[75],"and":[76,128],"calculation":[77],"process":[78],"complicated.":[87],"We":[88],"first":[89],"simplify":[90,108],"by":[95],"using":[96],"existing":[98],"reduction":[101],"methods":[102],"or":[103],"removing":[104],"non-shared":[105],"structure.":[111],"Then":[112],"we":[113],"calculate":[114],"dead":[116],"zone":[117],"markings":[118],"simplified":[121],"through":[123],"reverse":[125],"generation":[126],"method,":[127],"finally":[129],"develop":[130],"AMSs.":[148]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2021,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}