{"id":"https://openalex.org/W4402661158","doi":"https://doi.org/10.1109/access.2024.3461168","title":"On Deadlock/Livelock Studies Based on Reachability Graph of Petri Nets by Using TINA","display_name":"On Deadlock/Livelock Studies Based on Reachability Graph of Petri Nets by Using TINA","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4402661158","doi":"https://doi.org/10.1109/access.2024.3461168"},"language":"en","primary_location":{"id":"doi:10.1109/access.2024.3461168","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2024.3461168","pdf_url":null,"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":null,"license_id":null,"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://doi.org/10.1109/access.2024.3461168","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5004568400","display_name":"Murat Uzam","orcid":"https://orcid.org/0000-0001-9625-5523"},"institutions":[{"id":"https://openalex.org/I2799978770","display_name":"X-Fab (Germany)","ror":"https://ror.org/030bh9196","country_code":"DE","type":"company","lineage":["https://openalex.org/I2799978770"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Murat Uzam","raw_affiliation_strings":["Elektrik-Elektronik Mühendisliği Bölümü, Mühendislik-Mimarlık Fakültesi, Yozgat Bozok Üniversitesi, Yozgat, Türkiye","Yozgat Bozok Üniversitesi, Mühendislik-Mimarlýk Fakültesi, Elektrik-Elektronik Mühendisliði Bölümü, Yozgat, Türkiye"],"raw_orcid":"https://orcid.org/0000-0001-9625-5523","affiliations":[{"raw_affiliation_string":"Elektrik-Elektronik Mühendisliği Bölümü, Mühendislik-Mimarlık Fakültesi, Yozgat Bozok Üniversitesi, Yozgat, Türkiye","institution_ids":["https://openalex.org/I2799978770"]},{"raw_affiliation_string":"Yozgat Bozok Üniversitesi, Mühendislik-Mimarlýk Fakültesi, Elektrik-Elektronik Mühendisliði Bölümü, Yozgat, Türkiye","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062827263","display_name":"Ding Liu","orcid":"https://orcid.org/0000-0003-0159-8545"},"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":"Ding Liu","raw_affiliation_strings":["School of Electro-Mechanical Engineering, Xidian University, Xi’an, China"],"raw_orcid":null,"affiliations":[{"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/A5005330030","display_name":"Bernard Berthomieu","orcid":"https://orcid.org/0000-0001-9895-0052"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https://ror.org/03vcm6439","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I190497903","https://openalex.org/I196454796","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210095849","https://openalex.org/I4210159245","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405258862","https://openalex.org/I4405258862"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Bernard Berthomieu","raw_affiliation_strings":["Laboratoire d’Analyse et d’Architecture des Systèmes of Centre National de la Recherche Scientifique (LAAS/CNRS), Toulouse, France","Laboratoire d’Analyse et d’Architecture des Systèmes of Centre National de la Recherche Scientifique (LAAS / CNRS)7, avenue du Colonel Roche, Toulouse, France"],"raw_orcid":"https://orcid.org/0000-0001-9895-0052","affiliations":[{"raw_affiliation_string":"Laboratoire d’Analyse et d’Architecture des Systèmes of Centre National de la Recherche Scientifique (LAAS/CNRS), Toulouse, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I190497903"]},{"raw_affiliation_string":"Laboratoire d’Analyse et d’Architecture des Systèmes of Centre National de la Recherche Scientifique (LAAS / CNRS)7, avenue du Colonel Roche, Toulouse, France","institution_ids":["https://openalex.org/I190497903","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047464241","display_name":"G\u00f6khan Gelen","orcid":"https://orcid.org/0000-0002-2780-3386"},"institutions":[{"id":"https://openalex.org/I2799978770","display_name":"X-Fab (Germany)","ror":"https://ror.org/030bh9196","country_code":"DE","type":"company","lineage":["https://openalex.org/I2799978770"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"G\u00f6khan Gelen","raw_affiliation_strings":["Mekatronik Mühendisliği Bölümü, Mühendislik ve Doğa Bilimleri Fakültesi, Bursa Teknik Üniversitesi, Bursa, Türkiye","Bursa Teknik Üniversitesi, Mühendislik ve Doga Bilimleri Fakültesi, Mekatronik Mühendisligi Bölümü, Bursa, Türkiye"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mekatronik Mühendisliği Bölümü, Mühendislik ve Doğa Bilimleri Fakültesi, Bursa Teknik Üniversitesi, Bursa, Türkiye","institution_ids":["https://openalex.org/I2799978770"]},{"raw_affiliation_string":"Bursa Teknik Üniversitesi, Mühendislik ve Doga Bilimleri Fakültesi, Mekatronik Mühendisligi Bölümü, Bursa, Türkiye","institution_ids":[]}]},{"author_position":"middle","author":{"id":null,"display_name":"Zhaolong Zhang","orcid":"https://orcid.org/0009-0008-6459-8503"},"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":"Zhaolong Zhang","raw_affiliation_strings":["School of Electro-Mechanical Engineering, Xidian University, Xi’an, China"],"raw_orcid":"https://orcid.org/0009-0008-6459-8503","affiliations":[{"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/A5091377032","display_name":"Almetwally M. Mostafa","orcid":"https://orcid.org/0000-0002-0976-239X"},"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"]}],"countries":["SA"],"is_corresponding":false,"raw_author_name":"Almetwally M. Mostafa","raw_affiliation_strings":["Department of Information Systems, College of Computer and Information Sciences, King Saud University, Riyadh, Saudi Arabia","Department of Information Systems, College of Computer and Information Sciences, King Saud University, P.O. BOX 51178, Riyadh, Saudi Arabia"],"raw_orcid":"https://orcid.org/0000-0002-0976-239X","affiliations":[{"raw_affiliation_string":"Department of Information Systems, College of Computer and Information Sciences, King Saud University, Riyadh, Saudi Arabia","institution_ids":["https://openalex.org/I28022161"]},{"raw_affiliation_string":"Department of Information Systems, College of Computer and Information Sciences, King Saud University, P.O. BOX 51178, Riyadh, Saudi Arabia","institution_ids":["https://openalex.org/I28022161"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045305170","display_name":"Zhiwu Li","orcid":"https://orcid.org/0000-0003-1547-5503"},"institutions":[{"id":"https://openalex.org/I111950717","display_name":"Macau University of Science and Technology","ror":"https://ror.org/03jqs2n27","country_code":"MO","type":"education","lineage":["https://openalex.org/I111950717","https://openalex.org/I4391767947"]}],"countries":["MO"],"is_corresponding":false,"raw_author_name":"Zhiwu Li","raw_affiliation_strings":["Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau, China","Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau SAR, China"],"raw_orcid":"https://orcid.org/0000-0003-1547-5503","affiliations":[{"raw_affiliation_string":"Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau, China","institution_ids":["https://openalex.org/I111950717"]},{"raw_affiliation_string":"Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau SAR, China","institution_ids":["https://openalex.org/I111950717"]}]}],"institutions":[],"countries_distinct_count":5,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5004568400"],"corresponding_institution_ids":["https://openalex.org/I2799978770"],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.6833,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.73377355,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":"12","issue":null,"first_page":"135506","last_page":"135534"},"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.9853000044822693,"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.9853000044822693,"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/T10444","display_name":"Context-Aware Activity Recognition Systems","score":0.9527000188827515,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9351000189781189,"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/reachability","display_name":"Reachability","score":0.8912863731384277},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.8285304307937622},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7944756150245667},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.7836660742759705},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5008518695831299},{"id":"https://openalex.org/keywords/deadlock-prevention-algorithms","display_name":"Deadlock prevention algorithms","score":0.451855331659317},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.404598206281662},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.399271696805954}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8912863731384277},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.8285304307937622},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7944756150245667},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.7836660742759705},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5008518695831299},{"id":"https://openalex.org/C113429609","wikidata":"https://www.wikidata.org/wiki/Q4060699","display_name":"Deadlock prevention algorithms","level":3,"score":0.451855331659317},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.404598206281662},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.399271696805954}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/access.2024.3461168","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2024.3461168","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-04708018v1","is_oa":false,"landing_page_url":"https://laas.hal.science/hal-04708018","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, 2024, 12, pp.135506 - 135534. ⟨10.1109/ACCESS.2024.3461168⟩","raw_type":"Journal articles"},{"id":"pmh:oai:doaj.org/article:9ff9070a396a4b038331f3a81294a243","is_oa":true,"landing_page_url":"https://doaj.org/article/9ff9070a396a4b038331f3a81294a243","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 12, Pp 135506-135534 (2024)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2024.3461168","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2024.3461168","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Climate action","score":0.5099999904632568,"id":"https://metadata.un.org/sdg/13"}],"awards":[{"id":"https://openalex.org/G1334973895","display_name":null,"funder_award_id":"RSPD2024R1007","funder_id":"https://openalex.org/F4320321145","funder_display_name":"King Saud University"}],"funders":[{"id":"https://openalex.org/F4320321145","display_name":"King Saud University","ror":"https://ror.org/02f81g417"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W182950527","https://openalex.org/W332683046","https://openalex.org/W1505489763","https://openalex.org/W1606838974","https://openalex.org/W1925800244","https://openalex.org/W1978787137","https://openalex.org/W2001671625","https://openalex.org/W2007876433","https://openalex.org/W2015847889","https://openalex.org/W2037933704","https://openalex.org/W2070996046","https://openalex.org/W2098899007","https://openalex.org/W2110169180","https://openalex.org/W2116894546","https://openalex.org/W2119995383","https://openalex.org/W2125543313","https://openalex.org/W2132355828","https://openalex.org/W2140872435","https://openalex.org/W2146738006","https://openalex.org/W2147281200","https://openalex.org/W2158410599","https://openalex.org/W2165406169","https://openalex.org/W2272156680","https://openalex.org/W2280880178","https://openalex.org/W2310793150","https://openalex.org/W2495146466","https://openalex.org/W2754463491","https://openalex.org/W2786031567","https://openalex.org/W2804589645","https://openalex.org/W2896112909","https://openalex.org/W2948851896","https://openalex.org/W3016013306","https://openalex.org/W3083862868","https://openalex.org/W3117446082","https://openalex.org/W4380996570","https://openalex.org/W4391468043","https://openalex.org/W4398190835","https://openalex.org/W6699210971"],"related_works":["https://openalex.org/W1904030840","https://openalex.org/W153779636","https://openalex.org/W2552031328","https://openalex.org/W2144623944","https://openalex.org/W3083862868","https://openalex.org/W2141563078","https://openalex.org/W1679355703","https://openalex.org/W4361186044","https://openalex.org/W2025827957","https://openalex.org/W2153540690"],"abstract_inverted_index":{"Deadlock/livelock":[0],"problems":[1,118],"can":[2,119],"cause":[3],"catastrophic":[4],"results":[5],"in":[6,30,36,178,235,363,406,433],"flexible":[7],"manufacturing":[8,475],"systems":[9,476],"(FMS)":[10],"by":[11,172,206,320,366,462],"forcing":[12],"them":[13],"to":[14,32,51,96,141,155,262,298,328,408],"stop":[15],"production":[16,35],"processes":[17],"at":[18],"an":[19,71,113,173,374],"unpredictable":[20],"stage":[21],"of":[22,89,102,108,112,137,151,189,192,218,222,252,256,271,275,291,303,322,332,340,353,360,368,387,390,412,428,431,456,467],"production.":[23],"Therefore,":[24,268,362],"they":[25],"must":[26,169],"be":[27,120,142,156,170,263],"handled":[28],"properly":[29],"order":[31,407],"obtain":[33,52],"flawless":[34],"FMS.":[37,267],"Petri":[38,481],"net":[39],"(PN)":[40],"based":[41,180,415],"deadlock/livelock":[42,117],"studies":[43],"for":[44,78,384,398,443],"FMS":[45,67,80,114,468],"have":[46],"been":[47,316],"widely":[48,317],"carried":[49,94],"out":[50,95],"live":[53,124,220,253,273],"PN":[54,58,74,91,110,179,202,210,225,278,305,308,343,399,414,446,488],"models.":[55],"When":[56],"a":[57,109,183,190,283,324,341,357,444],"model":[59,75,92,111,203,211,226,241,279,344,447],"is":[60,68,76,93,134,148,196,204,227,242,246,280,382],"live,":[61],"this":[62,90,364],"ensures":[63],"that":[64,168,233],"the":[65,79,103,123,128,135,146,149,162,199,208,213,216,223,228,231,236,239,250,257,259,266,269,276,288,292,296,300,304,307,330,335,338,385,388,393,396,410,426,429,434,454,457,470],"modelled":[66,104],"deadlock-free.":[69],"Firstly,":[70],"uncontrolled":[72],"(plant)":[73],"constructed":[77],"suffering":[81,115,345,448],"from":[82,116,346,449,469],"deadlocks/livelocks.":[83,347,450],"Then":[84,198],"reachability":[85],"graph":[86],"(RG)":[87],"analysis":[88],"provide":[97],"all":[98],"possible":[99],"reachable":[100,219,254,272],"states":[101,139,153,221,255,274,333,391,432],"system.":[105],"An":[106],"RG":[107],"split":[121],"into":[122],"zone":[125,130],"(LZ)":[126],"and":[127,212,337,377,395,437,453],"deadlock":[129,416,479],"(DZ).":[131],"The":[132,159,248,451],"former":[133],"set":[136,150,191,430],"system":[138,152,166],"considered":[140,281],"legal":[143],"(good),":[144],"while":[145],"latter":[147],"regarded":[154],"illegal":[157],"(bad).":[158],"LZ":[160,336,394,436],"represents":[161],"optimal":[163,174],"(maximally":[164],"permissive)":[165],"behavior":[167],"provided":[171],"control":[175,193],"policy.":[176],"Generally,":[177],"liveness":[181,184,484],"studies,":[182],"enforcing":[185,485],"supervisor":[186,486],"(LES)":[187],"consisting":[188],"places":[194],"(CP)":[195],"computed.":[197],"controlled":[200,224,240,277,293],"(closed-loop)":[201],"obtained":[205],"merging":[207],"plant":[209],"LES.":[214],"If":[215],"number":[217,251,270,331,389],"same":[229],"as":[230,282],"ones":[232],"exist":[234],"LZ,":[237],"then":[238],"optimal.":[243],"Otherwise,":[244],"it":[245],"suboptimal.":[247],"greater":[249],"RG,":[258],"more":[260,379],"products":[261],"produced":[264],"within":[265,334,392],"quality":[284],"measure.":[285],"It":[286],"defines":[287],"behavioral":[289,301],"permissiveness":[290,302],"model.":[294],"In":[295,404],"literature,":[297],"verify":[299],"models,":[306],"tool":[309],"called":[310],"INA":[311,349],"(Integrated":[312],"Net":[313,372],"Analyzer)":[314],"has":[315],"used.":[318],"Recently,":[319],"means":[321,367],"INA,":[323],"method":[325,381],"was":[326],"proposed":[327,383,458],"compute":[329,351],"DZ":[339,397],"given":[342,445],"Unfortunately,":[348],"cannot":[350],"RGs":[352],"large":[354,402],"PNs":[355],"having":[356],"few":[358],"millions":[359],"states.":[361],"paper":[365],"TINA":[369],"(TIme":[370],"petri":[371],"Analyzer),":[373],"alternative":[375],"faster":[376],"much":[378],"efficient":[380],"computation":[386,427,489],"models":[400],"with":[401],"RGs.":[403],"addition,":[405],"enable":[409],"development":[411],"new":[413],"prevention":[417],"methods,":[418],"further":[419],"computations":[420],"are":[421,460],"also":[422],"proposed.":[423],"These":[424],"include":[425],"DZ,":[435],"first":[438],"met":[439],"bad":[440],"markings":[441],"(FBMs)":[442],"applicability":[452],"effectiveness":[455],"methods":[459],"demonstrated":[461],"considering":[463],"several":[464],"well-known":[465],"examples":[466],"relevant":[471],"literature.INDEX":[472],"TERMS":[473],"Flexible":[474],"(FMS),":[477],"deadlock,":[478],"prevention,":[480],"Nets":[482],"(PN),":[483],"(LES),":[487],"tools.":[490]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-05-07T13:39:58.223016","created_date":"2025-10-10T00:00:00"}