{"id":"https://openalex.org/W1602060156","doi":"https://doi.org/10.3217/jucs-012-02-0214","title":"A Structure Causality Relation for Liveness Characterisation in Petri Nets","display_name":"A Structure Causality Relation for Liveness Characterisation in Petri Nets","publication_year":2020,"publication_date":"2020-04-07","ids":{"openalex":"https://openalex.org/W1602060156","doi":"https://doi.org/10.3217/jucs-012-02-0214","mag":"1602060156"},"language":"en","primary_location":{"id":"pmh:oai:HAL:hal-04539372v1","is_oa":false,"landing_page_url":"https://univ-catholille.hal.science/hal-04539372","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of Universal Computer Science, 2006, 12 (2), pp.214-232","raw_type":"info:eu-repo/semantics/article"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/6996980","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5019942759","display_name":"Belhassen Zouari","orcid":"https://orcid.org/0000-0002-9842-0032"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Belhassen Zouari","raw_affiliation_strings":["R\u00e9seau National Universitaire"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"R\u00e9seau National Universitaire","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5019942759"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.00264364,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.995199978351593,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9944000244140625,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.9783427119255066},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.9185495376586914},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7703416347503662},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5913563966751099},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5347342491149902},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.4770709276199341},{"id":"https://openalex.org/keywords/controllability","display_name":"Controllability","score":0.4722948372364044},{"id":"https://openalex.org/keywords/causality","display_name":"Causality (physics)","score":0.4604971408843994},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.4447086453437805},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.43851396441459656},{"id":"https://openalex.org/keywords/equivalence-relation","display_name":"Equivalence relation","score":0.43285056948661804},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.41946983337402344},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.41367119550704956},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.28033095598220825},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.22126275300979614},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.19543957710266113},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.17652571201324463},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.14825662970542908}],"concepts":[{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.9783427119255066},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9185495376586914},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7703416347503662},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5913563966751099},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5347342491149902},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.4770709276199341},{"id":"https://openalex.org/C48209547","wikidata":"https://www.wikidata.org/wiki/Q1331104","display_name":"Controllability","level":2,"score":0.4722948372364044},{"id":"https://openalex.org/C64357122","wikidata":"https://www.wikidata.org/wiki/Q1149766","display_name":"Causality (physics)","level":2,"score":0.4604971408843994},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.4447086453437805},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.43851396441459656},{"id":"https://openalex.org/C156103551","wikidata":"https://www.wikidata.org/wiki/Q130998","display_name":"Equivalence relation","level":2,"score":0.43285056948661804},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.41946983337402344},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.41367119550704956},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.28033095598220825},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.22126275300979614},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.19543957710266113},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.17652571201324463},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.14825662970542908},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:HAL:hal-04539372v1","is_oa":false,"landing_page_url":"https://univ-catholille.hal.science/hal-04539372","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of Universal Computer Science, 2006, 12 (2), pp.214-232","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:zenodo.org:6996980","is_oa":true,"landing_page_url":"https://zenodo.org/record/6996980","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"JUCS - Journal of Universal Computer Science 12((2)) 214-232","raw_type":"info:eu-repo/semantics/article"},{"id":"doi:10.3217/jucs-012-02-0214","is_oa":true,"landing_page_url":"https://doi.org/10.3217/jucs-012-02-0214","pdf_url":null,"source":{"id":"https://openalex.org/S4306400660","display_name":"TUGraz OPEN Library (Graz University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4092182","host_organization_name":"Graz University of Technology","host_organization_lineage":["https://openalex.org/I4092182"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"DataPaper"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:6996980","is_oa":true,"landing_page_url":"https://zenodo.org/record/6996980","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"JUCS - Journal of Universal Computer Science 12((2)) 214-232","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W1512641181","https://openalex.org/W1516937665","https://openalex.org/W1528826607","https://openalex.org/W1551214605","https://openalex.org/W1578693972","https://openalex.org/W1595155342","https://openalex.org/W1993742654","https://openalex.org/W1996297578","https://openalex.org/W2060514783","https://openalex.org/W2072389619","https://openalex.org/W3016392072"],"related_works":["https://openalex.org/W2294930239","https://openalex.org/W2914206182","https://openalex.org/W2951290938","https://openalex.org/W1538137876","https://openalex.org/W1641346184","https://openalex.org/W1857396602","https://openalex.org/W2240079117","https://openalex.org/W2966773969","https://openalex.org/W1597903614","https://openalex.org/W3200919178","https://openalex.org/W1484913512","https://openalex.org/W3206695690","https://openalex.org/W971450223","https://openalex.org/W1830562184","https://openalex.org/W2020588945","https://openalex.org/W2060105961","https://openalex.org/W2276953347","https://openalex.org/W2555941479","https://openalex.org/W2940772020","https://openalex.org/W3016916883"],"abstract_inverted_index":{"Characterising":[0],"liveness":[1,31,64,111],"using":[2],"a":[3,8,21,27,41,88,101],"structure":[4,22],"based":[5],"approach":[6],"is":[7,35],"key":[9],"issue":[10,98],"in":[11,32],"theory":[12],"of":[13,30,44,52,57,71,91,104,107],"Petri":[14,33,58],"nets.":[15],"In":[16],"this":[17,84,97],"paper,":[18],"we":[19],"introduce":[20],"causality":[23],"relation":[24],"from":[25,87],"which":[26,61,75],"topological":[28],"characterisation":[29,38],"nets":[34,59],"defined.":[36],"This":[37],"relies":[39],"on":[40],"controllability":[42],"property":[43],"siphons":[45],"and":[46,65,112],"allows":[47],"to":[48,96],"determine":[49],"the":[50,53,105,108],"borders":[51],"largest":[54],"abstract":[55],"class":[56],"for":[60,74],"equivalence":[62],"between":[63,110],"deadlock-freeness":[66],"holds.":[67],"Hence,":[68],"interesting":[69],"subclasses":[70],"P/T":[72],"systems,":[73],"membership":[76],"can":[77],"be":[78],"easily":[79],"determined,":[80],"are":[81],"presented.":[82],"Moreover,":[83],"paper":[85],"resumes,":[86],"new":[89],"point":[90],"view,":[92],"similar":[93],"results":[94],"related":[95],"and,":[99],"provides":[100],"unified":[102],"interpretation":[103],"causes":[106],"non-equivalence":[109],"deadlock-freeness.":[113]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}