{"id":"https://openalex.org/W4205964585","doi":"https://doi.org/10.1109/tase.2021.3130768","title":"Robustness Analysis of Automated Manufacturing Systems With Unreliable Resources Using Petri Nets","display_name":"Robustness Analysis of Automated Manufacturing Systems With Unreliable Resources Using Petri Nets","publication_year":2021,"publication_date":"2021-12-07","ids":{"openalex":"https://openalex.org/W4205964585","doi":"https://doi.org/10.1109/tase.2021.3130768"},"language":"en","primary_location":{"id":"doi:10.1109/tase.2021.3130768","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2021.3130768","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"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 Automation Science and Engineering","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/A5090640642","display_name":"Benyuan Yang","orcid":"https://orcid.org/0000-0002-0597-2410"},"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":true,"raw_author_name":"Benyuan Yang","raw_affiliation_strings":["School of Electro-Mechanical Engineering, Xidian University, Xi’an, Shaanxi, China"],"affiliations":[{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi’an, Shaanxi, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080332732","display_name":"Hesuan Hu","orcid":"https://orcid.org/0000-0002-8724-2058"},"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"]},{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]},{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN","SG"],"is_corresponding":false,"raw_author_name":"Hesuan Hu","raw_affiliation_strings":["School of Electro-Mechanical Engineering, Xidian University, Xi’an, Shaanxi, China","State Key Laboratory for Manufacturing Systems Engineering, Xi'an Jiaotong University, Xi'an, Shaanxi, China","School of Computer Science and Engineering, College of Engineering, Nanyang Technological University, Singapore"],"affiliations":[{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi’an, Shaanxi, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"State Key Laboratory for Manufacturing Systems Engineering, Xi'an Jiaotong University, Xi'an, Shaanxi, China","institution_ids":["https://openalex.org/I87445476"]},{"raw_affiliation_string":"School of Computer Science and Engineering, College of Engineering, Nanyang Technological University, Singapore","institution_ids":["https://openalex.org/I172675005"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5090640642"],"corresponding_institution_ids":["https://openalex.org/I149594827"],"apc_list":null,"apc_paid":null,"fwci":1.2068,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.82901917,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"19","issue":"4","first_page":"3686","last_page":"3699"},"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.9987999796867371,"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/T10142","display_name":"Formal Methods in Verification","score":0.9933000206947327,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.8633228540420532},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.709496796131134},{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.654877245426178},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.6319962739944458},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6176964044570923},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4386501610279083},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.34055179357528687},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2920527458190918}],"concepts":[{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.8633228540420532},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.709496796131134},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.654877245426178},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.6319962739944458},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6176964044570923},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4386501610279083},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.34055179357528687},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2920527458190918},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tase.2021.3130768","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2021.3130768","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"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 Automation Science and Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.44999998807907104,"id":"https://metadata.un.org/sdg/8","display_name":"Decent work and economic growth"}],"awards":[{"id":"https://openalex.org/G2149364436","display_name":null,"funder_award_id":"K7215581201","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"},{"id":"https://openalex.org/G2760469216","display_name":null,"funder_award_id":"2017ZDJC-34","funder_id":"https://openalex.org/F4320324173","funder_display_name":"Natural Science Foundation of Shaanxi Province"},{"id":"https://openalex.org/G3912579466","display_name":null,"funder_award_id":"K5051304021","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"},{"id":"https://openalex.org/G426835721","display_name":null,"funder_award_id":"61203037","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4326781678","display_name":null,"funder_award_id":"NCET-12-0921","funder_id":"https://openalex.org/F4320334924","funder_display_name":"Program for New Century Excellent Talents in University"},{"id":"https://openalex.org/G6308466161","display_name":null,"funder_award_id":"K5051304004","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"},{"id":"https://openalex.org/G8305363616","display_name":null,"funder_award_id":"61973242","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8411548885","display_name":null,"funder_award_id":"61573265","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/F4320324173","display_name":"Natural Science Foundation of Shaanxi Province","ror":null},{"id":"https://openalex.org/F4320334924","display_name":"Program for New Century Excellent Talents in University","ror":"https://ror.org/01mv9t934"},{"id":"https://openalex.org/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W1675649230","https://openalex.org/W1971995298","https://openalex.org/W1973855314","https://openalex.org/W1984139421","https://openalex.org/W1996109622","https://openalex.org/W2005581605","https://openalex.org/W2019766155","https://openalex.org/W2039542278","https://openalex.org/W2099621672","https://openalex.org/W2101059452","https://openalex.org/W2116141977","https://openalex.org/W2122702559","https://openalex.org/W2131650316","https://openalex.org/W2144623944","https://openalex.org/W2147281200","https://openalex.org/W2152178407","https://openalex.org/W2265436075","https://openalex.org/W2284143018","https://openalex.org/W2315369845","https://openalex.org/W2343734947","https://openalex.org/W2410422125","https://openalex.org/W2550419340","https://openalex.org/W2553901072","https://openalex.org/W2599768884","https://openalex.org/W2761033085","https://openalex.org/W2782779113","https://openalex.org/W2784275306","https://openalex.org/W2799338570","https://openalex.org/W2800589533","https://openalex.org/W2883038117","https://openalex.org/W2889070069","https://openalex.org/W2897405579","https://openalex.org/W2902143771","https://openalex.org/W2911666397","https://openalex.org/W2920559771","https://openalex.org/W2922471304","https://openalex.org/W2952425394","https://openalex.org/W2973070480","https://openalex.org/W2981641941","https://openalex.org/W2989232940","https://openalex.org/W3003999587","https://openalex.org/W3023381051","https://openalex.org/W3086906191","https://openalex.org/W3109526546","https://openalex.org/W4246219036"],"related_works":["https://openalex.org/W2154794415","https://openalex.org/W2107824370","https://openalex.org/W4312626387","https://openalex.org/W1500907979","https://openalex.org/W1651168384","https://openalex.org/W2039577724","https://openalex.org/W2103504376","https://openalex.org/W2380814829","https://openalex.org/W1551903405","https://openalex.org/W2124283471"],"abstract_inverted_index":{"This":[0],"paper":[1],"studies":[2],"the":[3,17,50,54,70,107,114,136,169,174,188,194,210,227,236,263,274,296,312,316,334,350],"maximally":[4,264],"permissive":[5,265],"robustness":[6,43,56,71,108,175,266,284,291,303,317,335,351],"analysis":[7,116,190,267,343],"of":[8,19,25,72,109,113,117,127,135,157,168,176,191,229,268,276,283,287,298,318,323,336,352],"automated":[9,211],"manufacturing":[10,201,212,253],"systems":[11,82,213],"(AMSs)":[12,214],"with":[13,270],"unreliable":[14,271],"resources":[15,272],"in":[16,38,80,111,119,178,193,273,285,344,357],"paradigm":[18,275],"Petri":[20,277],"nets":[21],"(PNs).":[22],"Two":[23],"types":[24,282],"robust":[26,30,34,133,166],"markings,":[27,35,110,288],"i.e.,":[28,289],"strongly":[29,132],"markings":[31,51,118,126,134,141,147,150,156,163,167,177,192,309,337,353],"and":[32,45,57,102,139,148,164,185,208,255,292,305,310,325],"weakly":[33,165],"are":[36,232,328],"defined":[37],"this":[39,258],"paper.":[40],"We":[41,121,279],"propose":[42,302],"equivalence":[44,47,304,307],"non-robustness":[46,306],"to":[48,68,78,84,105,131,161,198,206,217,314,330],"characterize":[49],"that":[52,123,333],"exhibit":[53],"same":[55],"non-robustness,":[58],"respectively.":[59,172],"Reachability":[60],"graph":[61,96],"(or":[62,97],"RG":[63,180],"hereafter)":[64,99],"is":[65,76,204],"directly":[66],"used":[67],"determine":[69],"markings;":[73],"however,":[74],"it":[75,203],"difficult":[77],"use":[79],"large-scale":[81],"due":[83],"formidable":[85],"computational":[86],"difficulty.":[87],"As":[88,244],"an":[89,128,158,179,230],"alternative,":[90],"we":[91,260,301],"present":[92,311],"a":[93,242,245,321,345,358],"reduced":[94,346],"reachability":[95,299,347],"R2G":[98,129,159],"based":[100],"necessary":[101,324],"sufficient":[103,326],"condition":[104],"check":[106,315],"terms":[112,286],"liveness":[115,189,342],"R2G.":[120,196],"show":[122],"all":[124],"safe":[125],"correspond":[130,160],"corresponding":[137,170,195],"RG,":[138,171],"deadlock":[140],"as":[142,144,151,153,216],"well":[143,152],"their":[145,154,219],"bad":[146,155],"livelock":[149],"non-robust":[162],"Hence,":[173],"can":[181,338,354],"be":[182,339,355],"determined":[183,340,356],"effectively":[184],"efficiently":[186],"through":[187,341],"Note":[197],"Practitioners\u2014In":[199],"practical":[200],"scenarios,":[202],"urgent":[205],"analyze":[207],"control":[209],"so":[215],"ensure":[218,332],"continual":[220],"production":[221,248],"against":[222],"any":[223],"resource":[224],"failure.":[225],"If":[226],"failures":[228],"AMS":[231],"not":[233,250],"handled":[234],"gracefully,":[235],"whole":[237],"system":[238,247],"may":[239],"fall":[240],"into":[241],"blocking.":[243],"consequence,":[246],"does":[249],"meet":[251],"rapid":[252],"goals":[254],"objectives.":[256],"In":[257],"paper,":[259],"focus":[261],"on":[262],"AMSs":[269],"nets.":[278],"define":[280],"two":[281],"strong":[290],"weak":[293],"robustness.":[294],"From":[295],"viewpoint":[297],"graph,":[300],"among":[308],"procedures":[313],"markings.":[319],"Furthermore,":[320],"set":[322],"conditions":[327],"established":[329],"provably":[331],"graph.":[348],"Therefore,":[349],"computationally":[359],"efficient":[360],"way.":[361]},"counts_by_year":[{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1}],"updated_date":"2026-03-27T14:29:43.386196","created_date":"2025-10-10T00:00:00"}