{"id":"https://openalex.org/W1494176671","doi":"https://doi.org/10.3233/fi-2015-1169","title":"\u03c9-Petri Nets: Algorithms and Complexity","display_name":"\u03c9-Petri Nets: Algorithms and Complexity","publication_year":2015,"publication_date":"2015-04-01","ids":{"openalex":"https://openalex.org/W1494176671","doi":"https://doi.org/10.3233/fi-2015-1169","mag":"1494176671"},"language":"en","primary_location":{"id":"doi:10.3233/fi-2015-1169","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2015-1169","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","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/A5108492834","display_name":"Gilles Geeraerts","orcid":null},"institutions":[{"id":"https://openalex.org/I132053463","display_name":"Universit\u00e9 Libre de Bruxelles","ror":"https://ror.org/01r9htc13","country_code":"BE","type":"education","lineage":["https://openalex.org/I132053463"]}],"countries":["BE"],"is_corresponding":true,"raw_author_name":"Gilles Geeraerts","raw_affiliation_strings":["Universit\u00e9 libre de Bruxelles, D\u00e9partement d'informatique, Bruxelles, Belgium. gigeerae@ulb.ac.be"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 libre de Bruxelles, D\u00e9partement d'informatique, Bruxelles, Belgium. gigeerae@ulb.ac.be","institution_ids":["https://openalex.org/I132053463"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039370562","display_name":"Alexander Heu\u00dfner","orcid":null},"institutions":[{"id":"https://openalex.org/I132053463","display_name":"Universit\u00e9 Libre de Bruxelles","ror":"https://ror.org/01r9htc13","country_code":"BE","type":"education","lineage":["https://openalex.org/I132053463"]},{"id":"https://openalex.org/I94626330","display_name":"University of Bamberg","ror":"https://ror.org/01c1w6d29","country_code":"DE","type":"education","lineage":["https://openalex.org/I94626330"]}],"countries":["BE","DE"],"is_corresponding":false,"raw_author_name":"Alexander Heu\u00dfner","raw_affiliation_strings":["Universit\u00e9 libre de Bruxelles, D\u00e9partement d'informatique, Bruxelles, Belgium. gigeerae@ulb.ac.be","Otto-Friedrich-Universit\u00e4t Bamberg, Bamberg, Germany. alexander.heussner@uni-bamberg.de"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 libre de Bruxelles, D\u00e9partement d'informatique, Bruxelles, Belgium. gigeerae@ulb.ac.be","institution_ids":["https://openalex.org/I132053463"]},{"raw_affiliation_string":"Otto-Friedrich-Universit\u00e4t Bamberg, Bamberg, Germany. alexander.heussner@uni-bamberg.de","institution_ids":["https://openalex.org/I94626330"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103140542","display_name":"M. Praveen","orcid":"https://orcid.org/0000-0002-5734-7115"},"institutions":[{"id":"https://openalex.org/I4210142254","display_name":"Laboratoire Bordelais de Recherche en Informatique","ror":"https://ror.org/03adqg323","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I15057530","https://openalex.org/I4210142254","https://openalex.org/I4210159245","https://openalex.org/I4210160189"]},{"id":"https://openalex.org/I132053463","display_name":"Universit\u00e9 Libre de Bruxelles","ror":"https://ror.org/01r9htc13","country_code":"BE","type":"education","lineage":["https://openalex.org/I132053463"]}],"countries":["BE","FR"],"is_corresponding":false,"raw_author_name":"M. Praveen","raw_affiliation_strings":["Universit\u00e9 libre de Bruxelles, D\u00e9partement d'informatique, Bruxelles, Belgium. gigeerae@ulb.ac.be","Laboratoire Bordelais de Recherche en Informatique LaBRI, France. praveen.manjunatha@labri.fr#TAB#"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 libre de Bruxelles, D\u00e9partement d'informatique, Bruxelles, Belgium. gigeerae@ulb.ac.be","institution_ids":["https://openalex.org/I132053463"]},{"raw_affiliation_string":"Laboratoire Bordelais de Recherche en Informatique LaBRI, France. praveen.manjunatha@labri.fr#TAB#","institution_ids":["https://openalex.org/I4210142254"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050196522","display_name":"Jean-Fran\u00e7ois Raskin","orcid":"https://orcid.org/0000-0002-3673-1097"},"institutions":[{"id":"https://openalex.org/I132053463","display_name":"Universit\u00e9 Libre de Bruxelles","ror":"https://ror.org/01r9htc13","country_code":"BE","type":"education","lineage":["https://openalex.org/I132053463"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Jean-Fran\u00e7ois Raskin","raw_affiliation_strings":["Universit\u00e9 libre de Bruxelles, D\u00e9partement d'informatique, Bruxelles, Belgium. gigeerae@ulb.ac.be","Universit\u00e9 libre de Bruxelles, D\u00e9partement d'informatique, Bruxelles, Belgium. jraskin@ulb.ac.be"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 libre de Bruxelles, D\u00e9partement d'informatique, Bruxelles, Belgium. gigeerae@ulb.ac.be","institution_ids":["https://openalex.org/I132053463"]},{"raw_affiliation_string":"Universit\u00e9 libre de Bruxelles, D\u00e9partement d'informatique, Bruxelles, Belgium. jraskin@ulb.ac.be","institution_ids":["https://openalex.org/I132053463"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5108492834"],"corresponding_institution_ids":["https://openalex.org/I132053463"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.02344788,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"137","issue":"1","first_page":"29","last_page":"60"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991999864578247,"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/T10142","display_name":"Formal Methods in Verification","score":0.9991999864578247,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9991999864578247,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9944000244140625,"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/petri-net","display_name":"Petri net","score":0.7593461871147156},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6337149143218994},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.44403523206710815},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.4410543441772461},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.42391398549079895},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.384174108505249}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.7593461871147156},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6337149143218994},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.44403523206710815},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.4410543441772461},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.42391398549079895},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.384174108505249}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/fi-2015-1169","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2015-1169","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"},{"id":"pmh:oai:dipot.ulb.ac.be:2013/205434","is_oa":false,"landing_page_url":"http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/205434","pdf_url":null,"source":{"id":"https://openalex.org/S4306401063","display_name":"D\u00e9p\u00f4t institutionnel de l'Universit\u00e9 libre de Bruxelles (Universit\u00e9 Libre de Bruxelles)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I132053463","host_organization_name":"Universit\u00e9 Libre de Bruxelles","host_organization_lineage":["https://openalex.org/I132053463"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Fundamenta informaticae, 137 (1","raw_type":"info:ulb-repo/semantics/openurl/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1708665","https://openalex.org/W1504874300","https://openalex.org/W1508360721","https://openalex.org/W1513999490","https://openalex.org/W1555915652","https://openalex.org/W1561267729","https://openalex.org/W1594151678","https://openalex.org/W1596041124","https://openalex.org/W1605914607","https://openalex.org/W1607870372","https://openalex.org/W1855789069","https://openalex.org/W1967174286","https://openalex.org/W1973458874","https://openalex.org/W1978642006","https://openalex.org/W1987557885","https://openalex.org/W1991275081","https://openalex.org/W2036526834","https://openalex.org/W2055081868","https://openalex.org/W2062995800","https://openalex.org/W2087997226","https://openalex.org/W2106001218","https://openalex.org/W2113355185","https://openalex.org/W2123910665","https://openalex.org/W2129073086","https://openalex.org/W2156825078","https://openalex.org/W2164003033","https://openalex.org/W2177951319","https://openalex.org/W2949723064"],"related_works":["https://openalex.org/W1543378523","https://openalex.org/W2257573499","https://openalex.org/W2381491984","https://openalex.org/W2064254377","https://openalex.org/W2901841247","https://openalex.org/W2148229336","https://openalex.org/W1491709828","https://openalex.org/W2159539963","https://openalex.org/W2001922003","https://openalex.org/W4244333532"],"abstract_inverted_index":{"We":[0,79,134,160],"introduce":[1],"\u03c9-Petri":[2],"nets":[3,10,52],"(\u03c9PN),":[4],"an":[5,82],"extension":[6,181,193],"of":[7,49,73,77,100,144,173,182,199],"plain":[8,50,89],"Petri":[9,51,90],"with":[11,25,184],"\u03c9-labeled":[12],"input":[13],"and":[14,35,129,147,156,186,189,197],"output":[15],"arcs,":[16,188],"that":[17,42,64,81,92,104],"is":[18],"well-suited":[19],"to":[20,57,95,139,148,166,168],"analyse":[21],"parametric":[22],"concurrent":[23],"systems":[24,63],"dynamic":[26],"thread":[27],"creation.":[28],"Most":[29],"techniques":[30],"(such":[31],"as":[32],"the":[33,39,47,74,97,101,124,145,153,163,170,174,180,195,200],"Karp":[34,155],"Miller":[36,157],"tree":[37,158],"or":[38],"Rackoff":[40,164],"technique)":[41],"have":[43,65],"been":[44],"proposed":[45],"in":[46],"setting":[48],"do":[53],"not":[54,106],"apply":[55],"directly":[56],"\u03c9PN":[58,60,83,110,146,183],"because":[59],"define":[61],"transition":[62],"infinite":[66],"branching.":[67],"This":[68,119],"motivates":[69],"a":[70,88,136,141],"thorough":[71],"analysis":[72],"computational":[75],"aspects":[76],"\u03c9PN.":[78,133],"show":[80,190],"can":[84],"be":[85],"turned":[86],"into":[87],"net":[91],"allows":[93],"us":[94],"recover":[96],"reachability":[98],"set":[99,143],"\u03c9PN,":[102,167],"but":[103],"does":[105],"preserve":[107],"termination":[108,150,175],"(an":[109],"terminates":[111],"iff":[112],"it":[113],"admits":[114],"no":[115],"infinitely":[116],"long":[117],"execution).":[118],"yields":[120],"complexity":[121,172,198],"bounds":[122],"for":[123],"reachability,":[125],"boundedness,":[126],"place":[127],"boundedness":[128],"coverability":[130,142],"problems":[131],"on":[132],"provide":[135],"practical":[137],"algorithm":[138],"compute":[140],"decide":[149],"by":[151],"adapting":[152],"classical":[154],"construction.":[159],"also":[161],"adapt":[162],"technique":[165],"obtain":[169],"exact":[171],"problem.":[176],"Finally,":[177],"we":[178],"consider":[179],"reset":[185],"transfer":[187],"how":[191],"this":[192],"impacts":[194],"decidability":[196],"aforementioned":[201],"problems.":[202]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-03-10T16:38:18.471706","created_date":"2025-10-10T00:00:00"}