{"id":"https://openalex.org/W4226424099","doi":"https://doi.org/10.1007/978-3-030-99253-8_5","title":"Separators in Continuous Petri Nets","display_name":"Separators in Continuous Petri Nets","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W4226424099","doi":"https://doi.org/10.1007/978-3-030-99253-8_5"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-99253-8_5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99253-8_5","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99253-8_5.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99253-8_5.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5032328924","display_name":"Michael Blondin","orcid":"https://orcid.org/0000-0003-2914-2734"},"institutions":[{"id":"https://openalex.org/I135117807","display_name":"Universit\u00e9 de Sherbrooke","ror":"https://ror.org/00kybxq39","country_code":"CA","type":"education","lineage":["https://openalex.org/I135117807"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Michael Blondin","raw_affiliation_strings":["Universit\u00e9 de Sherbrooke, Sherbrooke, Canada"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Sherbrooke, Sherbrooke, Canada","institution_ids":["https://openalex.org/I135117807"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090378914","display_name":"Javier Esparza","orcid":"https://orcid.org/0000-0001-9862-4919"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Javier Esparza","raw_affiliation_strings":["Technical University of Munich, Munich, Germany"],"affiliations":[{"raw_affiliation_string":"Technical University of Munich, Munich, Germany","institution_ids":["https://openalex.org/I62916508"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5032328924"],"corresponding_institution_ids":["https://openalex.org/I135117807"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.1419054,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"81","last_page":"100"},"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.9995999932289124,"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.9995999932289124,"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.996399998664856,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9962000250816345,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/algorithm","display_name":"Algorithm","score":0.5634178519248962},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.412916898727417},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3453264832496643}],"concepts":[{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5634178519248962},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.412916898727417},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3453264832496643}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-030-99253-8_5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99253-8_5","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99253-8_5.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-030-99253-8_5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99253-8_5","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99253-8_5.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8284766523","display_name":null,"funder_award_id":"(NSERC)","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"}],"funders":[{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"},{"id":"https://openalex.org/F4320334841","display_name":"Fonds de recherche du Qu\u00e9bec \u2013 Nature et technologies","ror":"https://ror.org/00b9f9778"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4226424099.pdf","grobid_xml":"https://content.openalex.org/works/W4226424099.grobid-xml"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W1491774527","https://openalex.org/W1551214605","https://openalex.org/W2036526834","https://openalex.org/W2108174021","https://openalex.org/W2167776377","https://openalex.org/W2188682159","https://openalex.org/W2296357517","https://openalex.org/W2561055248","https://openalex.org/W2745248131","https://openalex.org/W2965199304","https://openalex.org/W3044998661","https://openalex.org/W3097154075","https://openalex.org/W3099076450","https://openalex.org/W3117154651","https://openalex.org/W4235482987","https://openalex.org/W4237192732","https://openalex.org/W4300591351"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2530322880"],"abstract_inverted_index":{"Abstract":[0],"Leroux":[1],"has":[2,176],"proved":[3],"that":[4,194],"unreachability":[5,222],"in":[6,203,232,246],"Petri":[7,205],"nets":[8],"can":[9,210,223],"be":[10,165,211,224],"witnessed":[11,225],"by":[12,226],"a":[13,18,33,50,195,198,227,238,241],"Presburger":[14,59],"separator,":[15],"i.e.":[16],"if":[17],"marking":[19,34],"$$\\boldsymbol{m}_\\text":[20,35],"{src}$$":[21],"<mml:math":[22,37,54,66,83,93,108,126,145],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[23,38,55,67,84,94,109,127,146],"<mml:msub>":[24,39,71,151],"<mml:mrow>":[25,40,68,72,95,98,110,111,116,128,132,147,152],"<mml:mi>m</mml:mi>":[26,41,73,99,112,117,133,153],"</mml:mrow>":[27,42,74,78,100,102,113,118,121,134,137,154,158],"<mml:mi>src</mml:mi>":[28,75],"</mml:msub>":[29,44,76,156],"</mml:math>":[30,45,57,79,86,103,122,138,159],"cannot":[31],"reach":[32],"{tgt}$$":[36],"<mml:mi>tgt</mml:mi>":[43,155],",":[46],"then":[47],"there":[48],"is":[49,87,197,240,245,253],"formula":[51,196,239],"$$\\varphi":[52,63,81,91,124],"$$":[53,82],"<mml:mi>\u03c6</mml:mi>":[56,69,85,96,129,149],"of":[58,173,192],"arithmetic":[60],"such":[61],"that:":[62,220],"(\\boldsymbol{m}_\\text":[64,143],"{src})$$":[65],"<mml:mo>(</mml:mo>":[70,97,130,150],"<mml:mo>)</mml:mo>":[77,101,157],"holds;":[80],"forward":[88],"invariant,":[89],"i.e.,":[90],"(\\boldsymbol{m})$$":[92],"and":[104,140,169,188,218],"$$\\boldsymbol{m}":[105],"\\rightarrow":[106],"\\boldsymbol{m}'$$":[107],"<mml:mo>\u2192</mml:mo>":[114],"<mml:msup>":[115,131],"<mml:mo>\u2032</mml:mo>":[119,135],"</mml:msup>":[120,136],"imply":[123],"(\\boldsymbol{m}'$$":[125],");":[139],"$$\\lnot":[141],"\\varphi":[142],"{tgt})$$":[144],"<mml:mo>\u00ac</mml:mo>":[148],"holds.":[160],"While":[161],"these":[162,207],"separators":[163],"could":[164],"used":[166],"as":[167,170],"explanations":[168],"formal":[171],"certificates":[172],"unreachability,":[174],"this":[175],"not":[177],"yet":[178],"been":[179],"the":[180,189],"case":[181],"due":[182],"to":[183],"their":[184],"(super-)Ackermannian":[185],"worst-case":[186],"size":[187],"(super-)exponential":[190],"complexity":[191],"checking":[193,236],"separator.":[199],"We":[200,213],"show":[201],"that,":[202],"continuous":[204],"nets,":[206],"two":[208],"problems":[209],"overcome.":[212],"introduce":[214],"locally":[215,228,242],"closed":[216,229,243],"separators,":[217],"prove":[219],"(a)":[221],"separator":[230,244],"computable":[231],"polynomial":[233],"time;":[234],"(b)":[235],"whether":[237],"NC":[247],"(so,":[248],"simpler":[249],"than":[250],"unreachablity,":[251],"which":[252],"P-complete).":[254]},"counts_by_year":[],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}