{"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":"conference-paper","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"],"raw_orcid":"https://orcid.org/0000-0003-2914-2734","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"],"raw_orcid":"https://orcid.org/0000-0001-9862-4919","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.05442459,"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":[],"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":{"grobid_xml":true,"pdf":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,111],"proved":[3],"that":[4,129],"unreachability":[5,157],"in":[6,138,167,181],"Petri":[7,140],"nets":[8],"can":[9,145,158],"be":[10,100,146,159],"witnessed":[11,160],"by":[12,161],"a":[13,18,26,36,130,133,162,173,176],"Presburger":[14,42],"separator,":[15],"i.e.":[16],"if":[17],"marking":[19,27],"$$\\boldsymbol{m}_\\text":[20,28],"{src}$$":[21],"m":[22,30,51,66,72,74,81,92],"src":[23,52],"cannot":[24],"reach":[25],"{tgt}$$":[29],"tgt":[31,93],",":[32],"then":[33],"there":[34],"is":[35,58,132,175,180,188],"formula":[37,131,174],"$$\\varphi":[38,46,55,62,77],"$$":[39,56],"\u03c6":[40,49,57,64,79,90],"of":[41,108,127],"arithmetic":[43],"such":[44],"that:":[45,155],"(\\boldsymbol{m}_\\text":[47,87],"{src})$$":[48],"(":[50,65,80,91],")":[53,67,94],"holds;":[54],"forward":[59],"invariant,":[60],"i.e.,":[61],"(\\boldsymbol{m})$$":[63],"and":[68,84,104,123,153],"$$\\boldsymbol{m}":[69],"\\rightarrow":[70],"\\boldsymbol{m}'$$":[71],"\u2192":[73],"\u2032":[75,82],"imply":[76],"(\\boldsymbol{m}'$$":[78],");":[83],"$$\\lnot":[85],"\\varphi":[86],"{tgt})$$":[88],"\u00ac":[89],"holds.":[95],"While":[96],"these":[97,142],"separators":[98],"could":[99],"used":[101],"as":[102,105],"explanations":[103],"formal":[106],"certificates":[107],"unreachability,":[109],"this":[110],"not":[112],"yet":[113],"been":[114],"the":[115,124],"case":[116],"due":[117],"to":[118],"their":[119],"(super-)Ackermannian":[120],"worst-case":[121],"size":[122],"(super-)exponential":[125],"complexity":[126],"checking":[128,171],"separator.":[134],"We":[135,148],"show":[136],"that,":[137],"continuous":[139],"nets,":[141],"two":[143],"problems":[144],"overcome.":[147],"introduce":[149],"locally":[150,163,177],"closed":[151,164,178],"separators,":[152],"prove":[154],"(a)":[156],"separator":[165,179],"computable":[166],"polynomial":[168],"time;":[169],"(b)":[170],"whether":[172],"NC":[182],"(so,":[183],"simpler":[184],"than":[185],"unreachablity,":[186],"which":[187],"P-complete).":[189]},"counts_by_year":[],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}