{"id":"https://openalex.org/W4414117839","doi":"https://doi.org/10.1109/ccta53793.2025.11151377","title":"Enforcing Liveness in a Subclass of PN with any Acceptable Initial Marking","display_name":"Enforcing Liveness in a Subclass of PN with any Acceptable Initial Marking","publication_year":2025,"publication_date":"2025-08-25","ids":{"openalex":"https://openalex.org/W4414117839","doi":"https://doi.org/10.1109/ccta53793.2025.11151377"},"language":"en","primary_location":{"id":"doi:10.1109/ccta53793.2025.11151377","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ccta53793.2025.11151377","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE Conference on Control Technology and Applications (CCTA)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5062463584","display_name":"Ra\u00fal I. Garc\u00eda-Adame","orcid":null},"institutions":[{"id":"https://openalex.org/I68368234","display_name":"Centro de Investigaci\u00f3n y de Estudios Avanzados del Instituto Polit\u00e9cnico Nacional","ror":"https://ror.org/009eqmr18","country_code":"MX","type":"facility","lineage":["https://openalex.org/I59361560","https://openalex.org/I68368234"]}],"countries":["MX"],"is_corresponding":false,"raw_author_name":"Ra\u00fal I. Garc\u00eda-Adame","raw_affiliation_strings":["Unidad Guadalajara, CINVESTAV,Zapopan,Mexico"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Unidad Guadalajara, CINVESTAV,Zapopan,Mexico","institution_ids":["https://openalex.org/I68368234"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5119589230","display_name":"Roberto Navarro-Casta\u00f1eda","orcid":null},"institutions":[{"id":"https://openalex.org/I68368234","display_name":"Centro de Investigaci\u00f3n y de Estudios Avanzados del Instituto Polit\u00e9cnico Nacional","ror":"https://ror.org/009eqmr18","country_code":"MX","type":"facility","lineage":["https://openalex.org/I59361560","https://openalex.org/I68368234"]}],"countries":["MX"],"is_corresponding":false,"raw_author_name":"Roberto Navarro-Casta\u00f1eda","raw_affiliation_strings":["Unidad Guadalajara, CINVESTAV,Zapopan,Mexico"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Unidad Guadalajara, CINVESTAV,Zapopan,Mexico","institution_ids":["https://openalex.org/I68368234"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063866669","display_name":"L. Rubio-Anguiano","orcid":"https://orcid.org/0000-0002-6418-078X"},"institutions":[{"id":"https://openalex.org/I68368234","display_name":"Centro de Investigaci\u00f3n y de Estudios Avanzados del Instituto Polit\u00e9cnico Nacional","ror":"https://ror.org/009eqmr18","country_code":"MX","type":"facility","lineage":["https://openalex.org/I59361560","https://openalex.org/I68368234"]}],"countries":["MX"],"is_corresponding":false,"raw_author_name":"Laura E. Rubio-Anguiano","raw_affiliation_strings":["Unidad Guadalajara, CINVESTAV,Zapopan,Mexico"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Unidad Guadalajara, CINVESTAV,Zapopan,Mexico","institution_ids":["https://openalex.org/I68368234"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5035080841","display_name":"Manuel Navarro\u2010Guti\u00e9rrez","orcid":"https://orcid.org/0000-0001-6727-0089"},"institutions":[{"id":"https://openalex.org/I98461037","display_name":"Tecnol\u00f3gico de Monterrey","ror":"https://ror.org/03ayjn504","country_code":"MX","type":"education","lineage":["https://openalex.org/I98461037"]}],"countries":["MX"],"is_corresponding":false,"raw_author_name":"Manuel Navarro-Guti\u00e9rrez","raw_affiliation_strings":["Escuela de Ingenieria y Ciencias, Tecnologico de Monterrey,Zapopan,Mexico"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Escuela de Ingenieria y Ciencias, Tecnologico de Monterrey,Zapopan,Mexico","institution_ids":["https://openalex.org/I98461037"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.29498978,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"01","last_page":"05"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9979000091552734,"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.9952999949455261,"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/liveness","display_name":"Liveness","score":0.8241999745368958},{"id":"https://openalex.org/keywords/subclass","display_name":"Subclass","score":0.746399998664856},{"id":"https://openalex.org/keywords/novelty","display_name":"Novelty","score":0.6542999744415283},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.6233999729156494},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.49160000681877136},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.43130001425743103},{"id":"https://openalex.org/keywords/corollary","display_name":"Corollary","score":0.38100001215934753},{"id":"https://openalex.org/keywords/stability","display_name":"Stability (learning theory)","score":0.3393000066280365}],"concepts":[{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.8241999745368958},{"id":"https://openalex.org/C2776194381","wikidata":"https://www.wikidata.org/wiki/Q3965271","display_name":"Subclass","level":3,"score":0.746399998664856},{"id":"https://openalex.org/C2778738651","wikidata":"https://www.wikidata.org/wiki/Q16546687","display_name":"Novelty","level":2,"score":0.6542999744415283},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.6233999729156494},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.49869999289512634},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.49160000681877136},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4381999969482422},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.43130001425743103},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.396699994802475},{"id":"https://openalex.org/C2780012671","wikidata":"https://www.wikidata.org/wiki/Q1343870","display_name":"Corollary","level":2,"score":0.38100001215934753},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.3393000066280365},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3228999972343445},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.322299987077713},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.3091999888420105},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.30250000953674316},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.26570001244544983},{"id":"https://openalex.org/C89611455","wikidata":"https://www.wikidata.org/wiki/Q6804646","display_name":"Mechanism (biology)","level":2,"score":0.2653999924659729},{"id":"https://openalex.org/C2779606619","wikidata":"https://www.wikidata.org/wiki/Q17092524","display_name":"Interchangeability","level":2,"score":0.2587999999523163},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.25850000977516174},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.25679999589920044}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ccta53793.2025.11151377","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ccta53793.2025.11151377","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE Conference on Control Technology and Applications (CCTA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W332683046","https://openalex.org/W1499434946","https://openalex.org/W1567452221","https://openalex.org/W2023962548","https://openalex.org/W2035556324","https://openalex.org/W2037933704","https://openalex.org/W2042244914","https://openalex.org/W2056587795","https://openalex.org/W2140872435","https://openalex.org/W2144623944","https://openalex.org/W2310250136","https://openalex.org/W2766115945","https://openalex.org/W2767893948","https://openalex.org/W2806501132","https://openalex.org/W4389656410"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4391375266","https://openalex.org/W1565271071","https://openalex.org/W2081199208","https://openalex.org/W2053262709","https://openalex.org/W3160870209","https://openalex.org/W3349016","https://openalex.org/W2494011163","https://openalex.org/W1481041875"],"abstract_inverted_index":{"This":[0,61],"study":[1],"focuses":[2],"on":[3],"developing":[4],"a":[5,12,48],"control":[6,20],"mechanism":[7],"to":[8,72],"prevent":[9],"deadlocks":[10],"in":[11,37],"specific":[13,49],"subclass":[14],"of":[15,28,33,40,44,58],"Petri":[16],"Nets.":[17],"The":[18,31],"designed":[19],"guarantees":[21],"deadlock-freeness":[22],"for":[23],"every":[24],"acceptable":[25],"initial":[26],"marking":[27],"the":[29,38,53,59,74],"net.":[30],"novelty":[32],"this":[34],"method":[35],"lies":[36],"removal":[39],"some":[41],"output":[42,54],"transitions":[43,57],"siphons":[45],"by":[46],"establishing":[47],"synchronic":[50],"distance":[51],"between":[52],"and":[55],"internal":[56],"siphons.":[60],"approach":[62],"is":[63,70],"shown":[64],"in$S^{3}":[65],"P":[66],"R$nets.":[67],"An":[68],"example":[69],"presented":[71],"illustrate":[73],"proposed":[75],"approach.":[76]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}