{"id":"https://openalex.org/W4289874384","doi":"https://doi.org/10.1007/978-3-031-13188-2_22","title":"Synthesis and Analysis of Petri Nets from Causal Specifications","display_name":"Synthesis and Analysis of Petri Nets from Causal Specifications","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W4289874384","doi":"https://doi.org/10.1007/978-3-031-13188-2_22"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-13188-2_22","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-13188-2_22","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-13188-2_22.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-031-13188-2_22.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5074187313","display_name":"Mateus de Oliveira Oliveira","orcid":"https://orcid.org/0000-0001-7798-7446"},"institutions":[{"id":"https://openalex.org/I4432739","display_name":"University of Bergen","ror":"https://ror.org/03zga2b32","country_code":"NO","type":"education","lineage":["https://openalex.org/I4432739"]}],"countries":["NO"],"is_corresponding":true,"raw_author_name":"Mateus de Oliveira Oliveira","raw_affiliation_strings":["University of Bergen, Bergen, Norway"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Bergen, Bergen, Norway","institution_ids":["https://openalex.org/I4432739"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5074187313"],"corresponding_institution_ids":["https://openalex.org/I4432739"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.12489678,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"447","last_page":"467"},"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.9994999766349792,"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.9994999766349792,"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.9987999796867371,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.9166367650032043},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.8757174015045166},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7550984621047974},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.7084360122680664},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.6405205726623535},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.6135542988777161},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5834019780158997},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.5827305912971497},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5198967456817627},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.4989137649536133},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.463032603263855},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1566838026046753}],"concepts":[{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.9166367650032043},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8757174015045166},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7550984621047974},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.7084360122680664},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.6405205726623535},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.6135542988777161},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5834019780158997},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.5827305912971497},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5198967456817627},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.4989137649536133},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.463032603263855},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1566838026046753},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-031-13188-2_22","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-13188-2_22","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-13188-2_22.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"},{"id":"pmh:oai:bora.uib.no:11250/3059308","is_oa":true,"landing_page_url":"https://hdl.handle.net/11250/3059308","pdf_url":null,"source":{"id":"https://openalex.org/S4306401716","display_name":"Duo Research Archive (University of Oslo)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I184942183","host_organization_name":"University of Oslo","host_organization_lineage":["https://openalex.org/I184942183"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Lecture Notes in Computer Science (LNCS)","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-13188-2_22","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-13188-2_22","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-13188-2_22.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":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4289874384.pdf","grobid_xml":"https://content.openalex.org/works/W4289874384.grobid-xml"},"referenced_works_count":33,"referenced_works":["https://openalex.org/W89538287","https://openalex.org/W1490651621","https://openalex.org/W1490804831","https://openalex.org/W1503172064","https://openalex.org/W1531463755","https://openalex.org/W1532347799","https://openalex.org/W1553245026","https://openalex.org/W1574587683","https://openalex.org/W1589531268","https://openalex.org/W1606025221","https://openalex.org/W1608088021","https://openalex.org/W1750379273","https://openalex.org/W1887345091","https://openalex.org/W1973172637","https://openalex.org/W1981404622","https://openalex.org/W2016113382","https://openalex.org/W2019980178","https://openalex.org/W2023209100","https://openalex.org/W2023950928","https://openalex.org/W2044184458","https://openalex.org/W2045594629","https://openalex.org/W2047674460","https://openalex.org/W2082153115","https://openalex.org/W2116509046","https://openalex.org/W2125616765","https://openalex.org/W2136377643","https://openalex.org/W2143641004","https://openalex.org/W2146130261","https://openalex.org/W2146742781","https://openalex.org/W2156851305","https://openalex.org/W2166159524","https://openalex.org/W4232306982","https://openalex.org/W4249622096"],"related_works":["https://openalex.org/W2374990887","https://openalex.org/W1486212788","https://openalex.org/W152523404","https://openalex.org/W2109890989","https://openalex.org/W2135745096","https://openalex.org/W2136662891","https://openalex.org/W4289874384","https://openalex.org/W2117507492","https://openalex.org/W1517948404","https://openalex.org/W2971746131"],"abstract_inverted_index":{"Abstract":[0],"Petri":[1,53,142,201,213],"nets":[2,54,214],"are":[3,72,92,153],"one":[4,188],"of":[5,14,52,64,66,78,99,114,119,181,194,199,225],"the":[6,12,35,62,84,97,128,161,179,192,195,223],"most":[7],"prominent":[8],"system-level":[9],"formalisms":[10,152],"for":[11,96,167],"specification":[13,98],"causality":[15,100],"in":[16,160,178,191],"concurrent,":[17],"distributed,":[18],"or":[19],"multi-agent":[20],"systems.":[21],"This":[22],"formalism":[23,95,110],"is":[24,55],"abstract":[25],"enough":[26,39],"to":[27,40,209],"be":[28,59,207],"analyzed":[29],"using":[30,74],"theoretical":[31],"tools,":[32],"and":[33,141,144,215],"at":[34,46],"same":[36],"time,":[37],"concrete":[38],"eliminate":[41],"ambiguities":[42],"that":[43,56,146,163],"would":[44],"arise":[45],"implementation":[47],"level.":[48],"One":[49],"interesting":[50],"feature":[51],"they":[57],"can":[58,205],"studied":[60,218],"from":[61,101],"point":[63],"view":[65],"true":[67],"concurrency,":[68],"where":[69],"causal":[70,115],"scenarios":[71,116],"specified":[73],"partial":[75,196],"orders,":[76],"instead":[77],"approaches":[79],"based":[80],"on":[81],"interleaving.":[82],"On":[83],"other":[85,107,216],"hand,":[86],"message":[87],"sequence":[88],"chart":[89],"(MSC)":[90],"languages,":[91],"a":[93,102,112,120,185],"standard":[94],"purely":[103],"behavioral":[104,219],"perspective.":[105],"In":[106,130],"words,":[108],"this":[109,131],"specifies":[111],"set":[113],"between":[117,138,212],"actions":[118],"system,":[121],"without":[122],"providing":[123],"any":[124],"implementation-level":[125],"details":[126],"about":[127],"system.":[129],"work,":[132],"we":[133,174],"establish":[134,210],"several":[135,147,168],"new":[136,176],"connections":[137,211],"MSC":[139],"languages":[140],"nets,":[143],"show":[145],"computational":[148],"problems":[149],"involving":[150],"these":[151],"decidable.":[154],"Our":[155],"results":[156,173],"fill":[157],"some":[158],"gaps":[159],"literature":[162],"had":[164],"been":[165],"open":[166],"years.":[169],"To":[170],"obtain":[171],"our":[172],"develop":[175],"techniques":[177,204],"realm":[180],"slice":[182],"automata":[183],"theory,":[184],"framework":[186],"introduced":[187],"decade":[189],"ago":[190],"study":[193],"order":[197],"behavior":[198],"bounded":[200],"nets.":[202],"These":[203],"also":[206],"applied":[208],"well":[217],"formalisms,":[220],"such":[221],"as":[222],"notion":[224],"Mazurkiewicz":[226],"trace":[227],"languages.":[228]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2025-10-10T00:00:00"}