{"id":"https://openalex.org/W7129102883","doi":"https://doi.org/10.1109/tac.2026.3665120","title":"Enforcement of Time-Constrained GMECs on Time-Colored Petri Nets","display_name":"Enforcement of Time-Constrained GMECs on Time-Colored Petri Nets","publication_year":2026,"publication_date":"2026-02-16","ids":{"openalex":"https://openalex.org/W7129102883","doi":"https://doi.org/10.1109/tac.2026.3665120"},"language":null,"primary_location":{"id":"doi:10.1109/tac.2026.3665120","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2026.3665120","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Automatic Control","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/A5126130387","display_name":"Yifan Dong","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yifan Dong","raw_affiliation_strings":["Normandy University"],"raw_orcid":"https://orcid.org/0000-0001-7739-4093","affiliations":[{"raw_affiliation_string":"Normandy University","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003454609","display_name":"Dimitri Lefebvre","orcid":"https://orcid.org/0000-0001-7060-756X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dimitri Lefebvre","raw_affiliation_strings":["Normandy University"],"raw_orcid":"https://orcid.org/0000-0001-7060-756X","affiliations":[{"raw_affiliation_string":"Normandy University","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5126139356","display_name":"Zhiwu Li","orcid":null},"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":["Macau University of Science and Technology"],"raw_orcid":"https://orcid.org/0000-0003-1547-5503","affiliations":[{"raw_affiliation_string":"Macau University of Science and Technology","institution_ids":["https://openalex.org/I111950717"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2645,"currency":"USD","value_usd":2645},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.17688587,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"71","issue":"8","first_page":"5017","last_page":"5032"},"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.6510000228881836,"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.6510000228881836,"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/T10142","display_name":"Formal Methods in Verification","score":0.27630001306533813,"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.03229999914765358,"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.8248000144958496},{"id":"https://openalex.org/keywords/mutual-exclusion","display_name":"Mutual exclusion","score":0.7651000022888184},{"id":"https://openalex.org/keywords/parameterized-complexity","display_name":"Parameterized complexity","score":0.7330999970436096},{"id":"https://openalex.org/keywords/colored","display_name":"Colored","score":0.6484000086784363},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5236999988555908},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5205000042915344},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4855000078678131}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8248000144958496},{"id":"https://openalex.org/C56348326","wikidata":"https://www.wikidata.org/wiki/Q1047554","display_name":"Mutual exclusion","level":2,"score":0.7651000022888184},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.7330999970436096},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6643000245094299},{"id":"https://openalex.org/C2778307483","wikidata":"https://www.wikidata.org/wiki/Q5149038","display_name":"Colored","level":2,"score":0.6484000086784363},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5236999988555908},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5205000042915344},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4855000078678131},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.47450000047683716},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45419999957084656},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4424000084400177},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.43549999594688416},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.4287000000476837},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.41510000824928284},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.36820000410079956},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.3492000102996826},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3109000027179718},{"id":"https://openalex.org/C88230418","wikidata":"https://www.wikidata.org/wiki/Q131476","display_name":"Graph theory","level":2,"score":0.28839999437332153},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.2535000145435333}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tac.2026.3665120","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2026.3665120","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Automatic Control","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.8229615688323975,"display_name":"Reduced inequalities"}],"awards":[{"id":"https://openalex.org/G1613543560","display_name":null,"funder_award_id":"23E02599","funder_id":"https://openalex.org/F4320329938","funder_display_name":"R\u00e9gion Normandie"},{"id":"https://openalex.org/G873436905","display_name":"Timed Event-Based Methods for Networked Control Systems Security","funder_award_id":"ANR-22-CE10-0002","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320329938","display_name":"R\u00e9gion Normandie","ror":"https://ror.org/03cq89j92"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W1508831365","https://openalex.org/W1915570783","https://openalex.org/W1962985716","https://openalex.org/W1995762178","https://openalex.org/W2002281506","https://openalex.org/W2014130234","https://openalex.org/W2019322563","https://openalex.org/W2027595901","https://openalex.org/W2037933704","https://openalex.org/W2045940440","https://openalex.org/W2069573889","https://openalex.org/W2081114290","https://openalex.org/W2093320800","https://openalex.org/W2105941398","https://openalex.org/W2110808353","https://openalex.org/W2112963513","https://openalex.org/W2112978629","https://openalex.org/W2113375901","https://openalex.org/W2121750060","https://openalex.org/W2135886503","https://openalex.org/W2142340571","https://openalex.org/W2151008975","https://openalex.org/W2151612633","https://openalex.org/W2169601056","https://openalex.org/W2466342376","https://openalex.org/W2505803570","https://openalex.org/W2538443008","https://openalex.org/W2585648289","https://openalex.org/W2911498600","https://openalex.org/W2942732844","https://openalex.org/W2944710304","https://openalex.org/W3004752949","https://openalex.org/W3111326302","https://openalex.org/W3198066883","https://openalex.org/W3201230491","https://openalex.org/W4206581661","https://openalex.org/W4241212268","https://openalex.org/W4284882769","https://openalex.org/W4292983327","https://openalex.org/W4404952281","https://openalex.org/W4406625022","https://openalex.org/W4408519638"],"related_works":[],"abstract_inverted_index":{"This":[0],"paper":[1],"addresses":[2],"the":[3,23,56,63,73,88,105,111,119,142,146,151,163,166],"enforcement":[4,167],"of":[5,8,26,40,48,65,76,98,114,145,154,168],"a":[6,38,46,132,176],"class":[7,136],"generalized":[9],"mutual":[10],"exclusion":[11],"constraints":[12,16,52],"(GMECs)":[13],"within":[14],"time":[15,24,30,51,112,152],"on":[17,55,86,162],"time-colored":[18,82,147],"Petri":[19,83,148],"nets":[20],"by":[21,45,123,159,174],"adjusting":[22],"restrictions":[25],"transitions":[27,156],"with":[28,104],"soft":[29,115,155],"intervals.":[31],"Colored":[32],"GMECs":[33,59,90,101,126,171],"are":[34,43,53,91,102,127,157],"defined":[35],"to":[36,60,109,140],"represent":[37],"set":[39],"markings":[41],"that":[42,118],"determined":[44],"subset":[47],"colors.":[49],"Then,":[50],"imposed":[54],"proposed":[57,164],"colored":[58,100,125,170],"further":[61],"refine":[62],"representation":[64],"state":[66,135],"specifications":[67,121],"in":[68],"real-time":[69],"systems.":[70],"To":[71],"enhance":[72],"modeling":[74],"accuracy":[75],"real-world":[77],"systems,":[78],"we":[79],"formally":[80],"define":[81],"nets,":[84],"based":[85],"which":[87],"extended":[89],"enforced.":[92],"In":[93],"this":[94],"research,":[95],"two":[96],"types":[97],"time-constrained":[99,124,169],"proposed,":[103],"main":[106],"idea":[107],"being":[108],"adjust":[110],"boundaries":[113],"transitions,":[116],"such":[117],"system's":[120],"represented":[122],"satisfied.":[128],"A":[129],"structure":[130],"called":[131],"parameterized":[133,158],"modified":[134],"graph":[137],"is":[138,172],"designed":[139],"describe":[141],"possible":[143],"behaviors":[144],"net,":[149],"where":[150],"intervals":[153],"variables.":[160],"Based":[161],"graph,":[165],"achieved":[173],"solving":[175],"linear":[177],"programming":[178],"problem.":[179]},"counts_by_year":[],"updated_date":"2026-08-29T07:29:34.045763","created_date":"2026-02-17T00:00:00"}