{"id":"https://openalex.org/W2810390640","doi":"https://doi.org/10.1109/access.2018.2843380","title":"One-Step Control-Ahead Approach for the Design of an Optimal Petri-Net Based Deadlock Prevention Policy","display_name":"One-Step Control-Ahead Approach for the Design of an Optimal Petri-Net Based Deadlock Prevention Policy","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2810390640","doi":"https://doi.org/10.1109/access.2018.2843380","mag":"2810390640"},"language":"en","primary_location":{"id":"doi:10.1109/access.2018.2843380","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2018.2843380","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.2018.2843380","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5069808600","display_name":"Oussama Karoui","orcid":"https://orcid.org/0000-0002-7061-7108"},"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":"Oussama Karoui","raw_affiliation_strings":["Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau","institution_ids":["https://openalex.org/I111950717"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045305170","display_name":"Zhiwu Li","orcid":"https://orcid.org/0000-0003-1547-5503"},"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":"Zhiwu Li","raw_affiliation_strings":["Key Laboratory of Electronic Equipment Structure Design, Ministry of Education, Xidian University, Xi\u2019an, China","Key Laboratory of Electronic Equipment Structure Design, Ministry of Education, Xidian University, Xi'an, China"],"raw_orcid":"https://orcid.org/0000-0003-1547-5503","affiliations":[{"raw_affiliation_string":"Key Laboratory of Electronic Equipment Structure Design, Ministry of Education, Xidian University, Xi\u2019an, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Key Laboratory of Electronic Equipment Structure Design, Ministry of Education, Xidian University, Xi'an, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090664309","display_name":"Naiqi Wu","orcid":"https://orcid.org/0000-0001-6782-458X"},"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":"Naiqi Wu","raw_affiliation_strings":["Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau"],"raw_orcid":"https://orcid.org/0000-0001-6782-458X","affiliations":[{"raw_affiliation_string":"Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau","institution_ids":["https://openalex.org/I111950717"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102803559","display_name":"Mohamed Khalgui","orcid":"https://orcid.org/0000-0001-6311-3588"},"institutions":[{"id":"https://openalex.org/I159948400","display_name":"Jinan University","ror":"https://ror.org/02xe5ns62","country_code":"CN","type":"education","lineage":["https://openalex.org/I159948400"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mohamed Khalgui","raw_affiliation_strings":["School of Electrical and Information Engineering, Jinan University, Zhuhai, China"],"raw_orcid":"https://orcid.org/0000-0001-6311-3588","affiliations":[{"raw_affiliation_string":"School of Electrical and Information Engineering, Jinan University, Zhuhai, China","institution_ids":["https://openalex.org/I159948400"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088907972","display_name":"Emad Abouel Nasr","orcid":"https://orcid.org/0000-0001-6967-7747"},"institutions":[{"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"],"is_corresponding":false,"raw_author_name":"Emad Abouel Nasr","raw_affiliation_strings":["Mechanical Engineering Department, Faculty of Engineering, Helwan University, Cairo, Egypt"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mechanical Engineering Department, Faculty of Engineering, Helwan University, Cairo, Egypt","institution_ids":["https://openalex.org/I84058292"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082997589","display_name":"Abdulaziz M. El-Tamimi","orcid":"https://orcid.org/0000-0001-8137-1302"},"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":"Abdulaziz Mohammed El-Tamimi","raw_affiliation_strings":["Industrial Engineering Department, College of Engineering, King Saud University, Riyadh, Saudi Arabia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Industrial Engineering Department, College of Engineering, King Saud University, Riyadh, Saudi Arabia","institution_ids":["https://openalex.org/I28022161"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":6,"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":1.9304,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.8774668,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"6","issue":null,"first_page":"34307","last_page":"34323"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9908000230789185,"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"}},{"id":"https://openalex.org/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9886000156402588,"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/reachability","display_name":"Reachability","score":0.9780328869819641},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.9528565406799316},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.7301262021064758},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.690341591835022},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.639897346496582},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.6189979314804077},{"id":"https://openalex.org/keywords/deadlock-prevention-algorithms","display_name":"Deadlock prevention algorithms","score":0.5459035038948059},{"id":"https://openalex.org/keywords/reachability-problem","display_name":"Reachability problem","score":0.48424336314201355},{"id":"https://openalex.org/keywords/net","display_name":"Net (polyhedron)","score":0.4427736699581146},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.4371938109397888},{"id":"https://openalex.org/keywords/optimal-control","display_name":"Optimal control","score":0.4345320463180542},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.41838544607162476},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36504191160202026},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3626860976219177},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.31627586483955383},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2621303200721741}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.9780328869819641},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9528565406799316},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.7301262021064758},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.690341591835022},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.639897346496582},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.6189979314804077},{"id":"https://openalex.org/C113429609","wikidata":"https://www.wikidata.org/wiki/Q4060699","display_name":"Deadlock prevention algorithms","level":3,"score":0.5459035038948059},{"id":"https://openalex.org/C2777669093","wikidata":"https://www.wikidata.org/wiki/Q17141570","display_name":"Reachability problem","level":3,"score":0.48424336314201355},{"id":"https://openalex.org/C14166107","wikidata":"https://www.wikidata.org/wiki/Q253829","display_name":"Net (polyhedron)","level":2,"score":0.4427736699581146},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.4371938109397888},{"id":"https://openalex.org/C91575142","wikidata":"https://www.wikidata.org/wiki/Q1971426","display_name":"Optimal control","level":2,"score":0.4345320463180542},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.41838544607162476},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36504191160202026},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3626860976219177},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.31627586483955383},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2621303200721741},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2018.2843380","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2018.2843380","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:doaj.org/article:500880de4f7746daa9e2f94bfa36fb37","is_oa":true,"landing_page_url":"https://doaj.org/article/500880de4f7746daa9e2f94bfa36fb37","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 6, Pp 34307-34323 (2018)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2018.2843380","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2018.2843380","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":[],"awards":[{"id":"https://openalex.org/G1155948499","display_name":null,"funder_award_id":"078/2015/A3","funder_id":"https://openalex.org/F4320321655","funder_display_name":"Science and Technology Development Fund"},{"id":"https://openalex.org/G5587408162","display_name":null,"funder_award_id":"122/2017/A3","funder_id":"https://openalex.org/F4320321655","funder_display_name":"Science and Technology Development Fund"},{"id":"https://openalex.org/G5599164680","display_name":null,"funder_award_id":"RG-1439-009","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"},{"id":"https://openalex.org/F4320321655","display_name":"Science and Technology Development Fund","ror":"https://ror.org/044vr6g03"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":66,"referenced_works":["https://openalex.org/W97369260","https://openalex.org/W332683046","https://openalex.org/W1465777884","https://openalex.org/W1482005816","https://openalex.org/W1482993605","https://openalex.org/W1751549213","https://openalex.org/W1802674666","https://openalex.org/W1915570783","https://openalex.org/W1925800244","https://openalex.org/W1934074768","https://openalex.org/W1962985716","https://openalex.org/W1965215820","https://openalex.org/W1979349468","https://openalex.org/W1996109622","https://openalex.org/W1997821888","https://openalex.org/W2002235729","https://openalex.org/W2022250047","https://openalex.org/W2029320999","https://openalex.org/W2030224590","https://openalex.org/W2035556324","https://openalex.org/W2041329792","https://openalex.org/W2041853864","https://openalex.org/W2048456685","https://openalex.org/W2056587795","https://openalex.org/W2059057465","https://openalex.org/W2060084509","https://openalex.org/W2086414784","https://openalex.org/W2090233342","https://openalex.org/W2092893907","https://openalex.org/W2104367108","https://openalex.org/W2108569958","https://openalex.org/W2109692480","https://openalex.org/W2113418311","https://openalex.org/W2114697779","https://openalex.org/W2124901174","https://openalex.org/W2126163520","https://openalex.org/W2132355828","https://openalex.org/W2135886503","https://openalex.org/W2140872435","https://openalex.org/W2144623944","https://openalex.org/W2147281200","https://openalex.org/W2157750688","https://openalex.org/W2163338158","https://openalex.org/W2344326925","https://openalex.org/W2344683494","https://openalex.org/W2344852273","https://openalex.org/W2345051373","https://openalex.org/W2413286929","https://openalex.org/W2518386834","https://openalex.org/W2536985169","https://openalex.org/W2538443008","https://openalex.org/W2553653057","https://openalex.org/W2594774104","https://openalex.org/W2610860816","https://openalex.org/W2614826960","https://openalex.org/W2735669400","https://openalex.org/W2741060909","https://openalex.org/W2765202909","https://openalex.org/W2773002878","https://openalex.org/W2783183134","https://openalex.org/W4236164983","https://openalex.org/W6638428988","https://openalex.org/W6734581516","https://openalex.org/W6742170022","https://openalex.org/W6746620321","https://openalex.org/W6747304672"],"related_works":["https://openalex.org/W2050076411","https://openalex.org/W1542183432","https://openalex.org/W2001478969","https://openalex.org/W2360686363","https://openalex.org/W1900787600","https://openalex.org/W2136552483","https://openalex.org/W2529513861","https://openalex.org/W2117224408","https://openalex.org/W4361186044","https://openalex.org/W3125880387"],"abstract_inverted_index":{"This":[0],"paper":[1],"focuses":[2],"on":[3],"establishing":[4],"a":[5,51,82,96,152,166],"Petri":[6,54],"net":[7,55,201],"(PN)-based":[8],"deadlock":[9],"prevention":[10],"policy":[11],"for":[12,176,199],"large-scale":[13],"systems":[14],"whose":[15],"state":[16],"spaces":[17],"are":[18,92,109,183],"prone":[19],"to":[20,44,73,111,185],"the":[21,27,31,36,45,67,71,75,78,89,102,106,112,117,125,128,140,156,159,163,187,200],"explosion":[22],"problem":[23],"phenomenon.":[24],"When":[25,101],"using":[26,95],"reachability":[28,79,83,142,169],"analysis":[29],"technique,":[30],"main":[32],"burden":[33],"is":[34,85,174],"that":[35,124,193],"number":[37],"of":[38,70,77,119,127,151,165],"states":[39],"grows":[40],"exponentially":[41,87],"with":[42,155],"respect":[43],"PN":[46,130],"structure":[47],"and,":[48,115,171],"thereby,":[49],"synthesizing":[50],"lively":[52],"controlled":[53],"model":[56,131],"(PNM)":[57],"becomes":[58,104],"an":[59,134],"extremely":[60],"complex":[61],"procedure.":[62],"The":[63],"proposed":[64,188],"method":[65,121,161],"reduces":[66],"initial":[68],"marking":[69],"PNM":[72,103,114],"reduce":[74],"size":[76],"graph.":[80],"Such":[81],"graph":[84,143,170],"reduced":[86],"and":[88,144,178],"activity":[90],"places":[91,108],"derived":[93],"iteratively":[94],"well-established":[97],"invariant-based":[98],"control":[99,107,126,164],"method.":[100],"live,":[105],"integrated":[110],"original":[113,129],"therefore,":[116,172],"advantage":[118],"this":[120],"lies":[122],"in":[123],"starts":[132],"at":[133],"earlier":[135],"stage,":[136],"i.e.,":[137],"before":[138],"enumerating":[139],"full":[141],"which":[145],"we":[146,194],"call":[147],"it":[148,173],"one-step":[149],"control-ahead":[150],"PNM.":[153],"Compared":[154],"existing":[157],"methods,":[158],"new":[160],"requires":[162],"very":[167],"small-sized":[168],"convenient":[175],"largescale":[177],"bounded":[179],"PNs.":[180],"Two":[181],"examples":[182],"used":[184],"illustrate":[186],"approach.":[189],"Experimental":[190],"results":[191],"show":[192],"can":[195],"obtain":[196],"optimal":[197],"supervisors":[198],"models.":[202]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":3}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}