{"id":"https://openalex.org/W4405521081","doi":"https://doi.org/10.1109/tsmc.2024.3509901","title":"Deadlock Analysis and Avoidance for Automated Manufacturing Systems Based on Petri Nets With Forward-Conflict-Free Structures","display_name":"Deadlock Analysis and Avoidance for Automated Manufacturing Systems Based on Petri Nets With Forward-Conflict-Free Structures","publication_year":2024,"publication_date":"2024-12-18","ids":{"openalex":"https://openalex.org/W4405521081","doi":"https://doi.org/10.1109/tsmc.2024.3509901"},"language":"en","primary_location":{"id":"doi:10.1109/tsmc.2024.3509901","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmc.2024.3509901","pdf_url":null,"source":{"id":"https://openalex.org/S4210209078","display_name":"IEEE Transactions on Systems Man and Cybernetics Systems","issn_l":"2168-2216","issn":["2168-2216","2168-2232"],"is_oa":false,"is_in_doaj":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Systems, Man, and Cybernetics: Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5004787718","display_name":"Yan Yang","orcid":"https://orcid.org/0000-0001-8648-9692"},"institutions":[{"id":"https://openalex.org/I92403157","display_name":"University of Science and Technology Beijing","ror":"https://ror.org/02egmk993","country_code":"CN","type":"education","lineage":["https://openalex.org/I92403157"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yan Yang","raw_affiliation_strings":["School of Intelligence Science and Technology, the Institute of Artificial Intelligence, and the Key Laboratory of Intelligent Bionic Unmanned Systems, Ministry of Education, University of Science and Technology Beijing, Beijing, China","Ministry of Education, School of Intelligence Science and Technology, the Institute of Artificial Intelligence, and the Key Laboratory of Intelligent Bionic Unmanned Systems, University of Science and Technology Beijing, Beijing, China"],"affiliations":[{"raw_affiliation_string":"School of Intelligence Science and Technology, the Institute of Artificial Intelligence, and the Key Laboratory of Intelligent Bionic Unmanned Systems, Ministry of Education, University of Science and Technology Beijing, Beijing, China","institution_ids":["https://openalex.org/I92403157"]},{"raw_affiliation_string":"Ministry of Education, School of Intelligence Science and Technology, the Institute of Artificial Intelligence, and the Key Laboratory of Intelligent Bionic Unmanned Systems, University of Science and Technology Beijing, Beijing, China","institution_ids":["https://openalex.org/I92403157"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063368737","display_name":"Zhijie Liu","orcid":"https://orcid.org/0000-0003-1699-3468"},"institutions":[{"id":"https://openalex.org/I92403157","display_name":"University of Science and Technology Beijing","ror":"https://ror.org/02egmk993","country_code":"CN","type":"education","lineage":["https://openalex.org/I92403157"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhijie Liu","raw_affiliation_strings":["School of Intelligence Science and Technology, the Institute of Artificial Intelligence, and the Key Laboratory of Intelligent Bionic Unmanned Systems, Ministry of Education, University of Science and Technology Beijing, Beijing, China","Ministry of Education, School of Intelligence Science and Technology, the Institute of Artificial Intelligence, and the Key Laboratory of Intelligent Bionic Unmanned Systems, University of Science and Technology Beijing, Beijing, China"],"affiliations":[{"raw_affiliation_string":"School of Intelligence Science and Technology, the Institute of Artificial Intelligence, and the Key Laboratory of Intelligent Bionic Unmanned Systems, Ministry of Education, University of Science and Technology Beijing, Beijing, China","institution_ids":["https://openalex.org/I92403157"]},{"raw_affiliation_string":"Ministry of Education, School of Intelligence Science and Technology, the Institute of Artificial Intelligence, and the Key Laboratory of Intelligent Bionic Unmanned Systems, University of Science and Technology Beijing, Beijing, China","institution_ids":["https://openalex.org/I92403157"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058658495","display_name":"Zhijia Zhao","orcid":"https://orcid.org/0000-0001-5893-0233"},"institutions":[{"id":"https://openalex.org/I37987034","display_name":"Guangzhou University","ror":"https://ror.org/05ar8rn06","country_code":"CN","type":"education","lineage":["https://openalex.org/I37987034"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhijia Zhao","raw_affiliation_strings":["School of Mechanical and Electrical Engineering, Guangzhou University, Guangzhou, China"],"affiliations":[{"raw_affiliation_string":"School of Mechanical and Electrical Engineering, Guangzhou University, Guangzhou, China","institution_ids":["https://openalex.org/I37987034"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081318069","display_name":"MengChu Zhou","orcid":"https://orcid.org/0000-0002-5408-8752"},"institutions":[{"id":"https://openalex.org/I118118575","display_name":"New Jersey Institute of Technology","ror":"https://ror.org/05e74xb87","country_code":"US","type":"education","lineage":["https://openalex.org/I118118575"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"MengChu Zhou","raw_affiliation_strings":["Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, NJ, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, NJ, USA","institution_ids":["https://openalex.org/I118118575"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5004787718"],"corresponding_institution_ids":["https://openalex.org/I92403157"],"apc_list":null,"apc_paid":null,"fwci":0.7403,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.76829502,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":"55","issue":"3","first_page":"1634","last_page":"1646"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9908999800682068,"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"}},"topics":[{"id":"https://openalex.org/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9908999800682068,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9842000007629395,"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/T11159","display_name":"Manufacturing Process and Optimization","score":0.9354000091552734,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.8780174255371094},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.6819473505020142},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5786858201026917},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4741843640804291}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8780174255371094},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.6819473505020142},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5786858201026917},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4741843640804291}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tsmc.2024.3509901","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmc.2024.3509901","pdf_url":null,"source":{"id":"https://openalex.org/S4210209078","display_name":"IEEE Transactions on Systems Man and Cybernetics Systems","issn_l":"2168-2216","issn":["2168-2216","2168-2232"],"is_oa":false,"is_in_doaj":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Systems, Man, and Cybernetics: Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1883868694","display_name":null,"funder_award_id":"62103039","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3404180210","display_name":null,"funder_award_id":"20240484561","funder_id":"https://openalex.org/F4320334978","funder_display_name":"Beijing Nova Program"},{"id":"https://openalex.org/G4405686122","display_name":null,"funder_award_id":"62073030","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6409472180","display_name":null,"funder_award_id":"62473041","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7618111036","display_name":null,"funder_award_id":"62473039","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/F4320334978","display_name":"Beijing Nova Program","ror":"https://ror.org/034k14f91"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1990856034","https://openalex.org/W2000922497","https://openalex.org/W2005581605","https://openalex.org/W2038331462","https://openalex.org/W2055799414","https://openalex.org/W2126163520","https://openalex.org/W2140444941","https://openalex.org/W2140872435","https://openalex.org/W2146230203","https://openalex.org/W2154637219","https://openalex.org/W2163338158","https://openalex.org/W2310793150","https://openalex.org/W2343734947","https://openalex.org/W2767893948","https://openalex.org/W2778403987","https://openalex.org/W2778769681","https://openalex.org/W2890194976","https://openalex.org/W2897405579","https://openalex.org/W2904201055","https://openalex.org/W3007418408","https://openalex.org/W3013758117","https://openalex.org/W3023381051","https://openalex.org/W3033481339","https://openalex.org/W3135374998","https://openalex.org/W4246075700","https://openalex.org/W4296209272","https://openalex.org/W4315784047"],"related_works":["https://openalex.org/W153779636","https://openalex.org/W2552031328","https://openalex.org/W2056938515","https://openalex.org/W2025827957","https://openalex.org/W1679355703","https://openalex.org/W3083862868","https://openalex.org/W2141563078","https://openalex.org/W2355319912","https://openalex.org/W2354943775","https://openalex.org/W2041808117"],"abstract_inverted_index":{"While":[0],"a":[1,46,60,75,141,188],"deadlock":[2,39,56],"control":[3,57],"problem":[4,58],"in":[5,15,31,81,112,178],"complex":[6],"resource":[7,72],"allocation":[8],"systems":[9,26,114],"(RASs)":[10],"has":[11],"been":[12],"extensively":[13],"studied":[14],"the":[16,18,55,108,119,126,212],"literature,":[17],"corresponding":[19],"results":[20],"that":[21,110],"are":[22,27,171,220],"applicable":[23],"to":[24,180,198,207,222],"assembly":[25,69,113,131],"quite":[28],"limited,":[29],"both,":[30],"terms":[32],"of":[33,36,79,122,210,215],"structural":[34,77,87],"analysis":[35,49],"deadlocks":[37,80,111],"and":[38,48,70,91,143,157,162],"resolution.":[40],"Taking":[41],"Petri":[42],"nets":[43],"(PNs)":[44],"as":[45],"modeling":[47],"tool,":[50],"this":[51,104],"article":[52],"focuses":[53],"on":[54,137],"for":[59,67,103,129,193],"forward-conflict":[61],"free":[62],"net":[63],"(FCFN),":[64],"which":[65],"allows":[66],"batch":[68],"multiple":[71],"allocations.":[73],"First,":[74],"new":[76],"characterization":[78],"FCFN":[82,153],"is":[83,105,149,154,196,205],"proposed":[84,203],"through":[85],"two":[86,139],"objects:":[88],"1)":[89,151],"circuit":[90,161],"2)":[92,163],"<inline-formula":[93,164],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[94,165],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">":[95,166],"<tex-math":[96,167],"notation=\"LaTeX\">$\\omega":[97,168],"$":[98,169],"</tex-math></inline-formula>-structure.":[99],"The":[100,202],"starting":[101],"point":[102],"motivated":[106],"by":[107],"fact":[109],"stem":[115],"not":[116],"only":[117,158],"from":[118,185],"circular":[120],"wait":[121],"resources":[123],"but":[124],"also":[125],"parts":[127],"waiting":[128],"their":[130],"with":[132],"other":[133],"parts.":[134],"Subsequently,":[135],"based":[136],"these":[138],"objects,":[140],"necessary":[142],"sufficient":[144],"condition":[145],"about":[146],"FCFNs":[147],"liveness":[148],"obtained:":[150],"an":[152],"live":[155],"if":[156,159],"no":[160],"</tex-math></inline-formula>-structure":[170],"saturated":[172],"at":[173],"any":[174],"reachable":[175],"marking.":[176],"Finally,":[177],"order":[179],"prevent":[181],"each":[182],"such":[183],"object":[184],"inducing":[186],"deadlocks,":[187],"hierarchical":[189],"search":[190],"algorithm":[191,204],"appropriate":[192],"real-time":[194],"implementation":[195],"developed":[197],"avoid":[199],"its":[200,224],"saturation.":[201],"proven":[206],"be":[208],"capable":[209],"ensuring":[211],"deadlock-free":[213],"operation":[214],"FCFNs.":[216],"Moreover,":[217],"several":[218],"examples":[219],"provided":[221],"demonstrate":[223],"effectiveness.":[225]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}