{"id":"https://openalex.org/W2793197186","doi":"https://doi.org/10.3233/fi-2018-1663","title":"A Petri Net Based Modeling of Active Objects and Futures","display_name":"A Petri Net Based Modeling of Active Objects and Futures","publication_year":2018,"publication_date":"2018-03-07","ids":{"openalex":"https://openalex.org/W2793197186","doi":"https://doi.org/10.3233/fi-2018-1663","mag":"2793197186"},"language":"en","primary_location":{"id":"doi:10.3233/fi-2018-1663","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2018-1663","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":true,"oa_status":"green","oa_url":"https://inria.hal.science/hal-01919136/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5111968270","display_name":"Frank S. de Boer","orcid":null},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832","https://openalex.org/I4405262988"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Frank S. de Boer","raw_affiliation_strings":["Centrum Wiskunde and Informatica, Department of Software Engineering, Amsterdam, The Netherlands","Centrum Wiskunde and Informatica, Department of Software Engineering, Amsterdam, The Netherlands. F.S.de.Boer@cwi.nl"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centrum Wiskunde and Informatica, Department of Software Engineering, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Centrum Wiskunde and Informatica, Department of Software Engineering, Amsterdam, The Netherlands. F.S.de.Boer@cwi.nl","institution_ids":["https://openalex.org/I1341640284"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066677397","display_name":"Mario Bravetti","orcid":"https://orcid.org/0000-0001-5193-2914"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Mario Bravetti","raw_affiliation_strings":["Department of Computer Science and Engineering / Focus Team INRIA, University of Bologna, Bologna, Italy","Department of Computer Science and Engineering / Focus Team INRIA, University of Bologna, Bologna, Italy. mario.bravetti@unibo.it","Foundations of Component-based Ubiquitous Systems"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering / Focus Team INRIA, University of Bologna, Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"Department of Computer Science and Engineering / Focus Team INRIA, University of Bologna, Bologna, Italy. mario.bravetti@unibo.it","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"Foundations of Component-based Ubiquitous Systems","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053510598","display_name":"Matias David Lee","orcid":null},"institutions":[{"id":"https://openalex.org/I166401450","display_name":"Universidad Nacional de C\u00f3rdoba","ror":"https://ror.org/056tb7j80","country_code":"AR","type":"education","lineage":["https://openalex.org/I166401450"]},{"id":"https://openalex.org/I4210104034","display_name":"Argentine National Observatory","ror":"https://ror.org/01dtmk575","country_code":"AR","type":"facility","lineage":["https://openalex.org/I4210104034"]},{"id":"https://openalex.org/I67327644","display_name":"Cordoba University","ror":"https://ror.org/01d5zhz86","country_code":"US","type":"education","lineage":["https://openalex.org/I67327644"]}],"countries":["AR","US"],"is_corresponding":false,"raw_author_name":"Matias D. Lee","raw_affiliation_strings":["Faculty of Mathematics, Astronomy and Physics (FAMAF), National University of C\u00f3rdoba, C\u00f3rdoba, Argentina","Faculty of Mathematics, Astronomy and Physics (FAMAF), National University of C\u00f3rdoba, C\u00f3rdoba, Argentina. lee@famaf.unc.edu.ar"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Mathematics, Astronomy and Physics (FAMAF), National University of C\u00f3rdoba, C\u00f3rdoba, Argentina","institution_ids":["https://openalex.org/I4210104034","https://openalex.org/I67327644","https://openalex.org/I166401450"]},{"raw_affiliation_string":"Faculty of Mathematics, Astronomy and Physics (FAMAF), National University of C\u00f3rdoba, C\u00f3rdoba, Argentina. lee@famaf.unc.edu.ar","institution_ids":["https://openalex.org/I166401450"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058853876","display_name":"Gianluigi Zavattaro","orcid":"https://orcid.org/0000-0003-3313-6409"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Gianluigi Zavattaro","raw_affiliation_strings":["Department of Computer Science and Engineering / Focus Team INRIA, University of Bologna, Bologna, Italy","Department of Computer Science and Engineering / Focus Team INRIA, University of Bologna, Bologna, Italy. gianluigi.zavattaro@unibo.it"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering / Focus Team INRIA, University of Bologna, Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"Department of Computer Science and Engineering / Focus Team INRIA, University of Bologna, Bologna, Italy. gianluigi.zavattaro@unibo.it","institution_ids":["https://openalex.org/I9360294"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5066677397"],"corresponding_institution_ids":["https://openalex.org/I9360294"],"apc_list":null,"apc_paid":null,"fwci":1.7777,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.86138134,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"159","issue":"3","first_page":"197","last_page":"256"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9980999827384949,"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"}},"topics":[{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9980999827384949,"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"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.995199978351593,"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.9868000149726868,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.8434921503067017},{"id":"https://openalex.org/keywords/futures-contract","display_name":"Futures contract","score":0.7277593016624451},{"id":"https://openalex.org/keywords/net","display_name":"Net (polyhedron)","score":0.6756017804145813},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5667122602462769},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.5100151300430298},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.48153501749038696},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36566126346588135},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3010491132736206},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.08897227048873901},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.07527464628219604}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8434921503067017},{"id":"https://openalex.org/C106306483","wikidata":"https://www.wikidata.org/wiki/Q183984","display_name":"Futures contract","level":2,"score":0.7277593016624451},{"id":"https://openalex.org/C14166107","wikidata":"https://www.wikidata.org/wiki/Q253829","display_name":"Net (polyhedron)","level":2,"score":0.6756017804145813},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5667122602462769},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.5100151300430298},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.48153501749038696},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36566126346588135},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3010491132736206},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.08897227048873901},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.07527464628219604},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.3233/fi-2018-1663","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2018-1663","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:HAL:hal-01919136v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01919136","pdf_url":"https://inria.hal.science/hal-01919136/document","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":"Fundamenta Informaticae, 2018, 159 (3), pp.197-256. ⟨10.3233/FI-2018-1663⟩","raw_type":"Journal articles"},{"id":"pmh:cwi:oai:cwi.nl:27518","is_oa":false,"landing_page_url":"https://ir.cwi.nl/pub/27518","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Fundamenta Informaticae, 159(3), 197 - 256","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:cris.unibo.it:11585/619306","is_oa":false,"landing_page_url":"http://hdl.handle.net/11585/619306","pdf_url":null,"source":{"id":"https://openalex.org/S4306402579","display_name":"Archivio istituzionale della ricerca (Alma Mater Studiorum Universit\u00e0 di Bologna)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210117483","host_organization_name":"Istituto di Ematologia di Bologna","host_organization_lineage":["https://openalex.org/I4210117483"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:scholarlypublications.universiteitleiden.nl:item_3203221","is_oa":false,"landing_page_url":"https://hdl.handle.net/1887/3203221","pdf_url":null,"source":{"id":"https://openalex.org/S4306400850","display_name":"Leiden Repository (Leiden University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I121797337","host_organization_name":"Leiden University","host_organization_lineage":["https://openalex.org/I121797337"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article / Letter to editor"},{"id":"pmh:ul:oai:scholarlypublications.universiteitleiden.nl:item_3203221","is_oa":false,"landing_page_url":"http://hdl.handle.net/1887/3203221","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"VOLUME=159;ISSUE=3;STARTPAGE=197;ENDPAGE=256;TITLE=None","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-01919136v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01919136","pdf_url":"https://inria.hal.science/hal-01919136/document","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":"Fundamenta Informaticae, 2018, 159 (3), pp.197-256. ⟨10.3233/FI-2018-1663⟩","raw_type":"Journal articles"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.8100000023841858}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2793197186.pdf","grobid_xml":"https://content.openalex.org/works/W2793197186.grobid-xml"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W20230411","https://openalex.org/W172516910","https://openalex.org/W1789713128","https://openalex.org/W1971231744","https://openalex.org/W1996936966","https://openalex.org/W2021978684","https://openalex.org/W2032182172","https://openalex.org/W2033745581","https://openalex.org/W2055350841","https://openalex.org/W2098307036","https://openalex.org/W2098830227","https://openalex.org/W2106001218","https://openalex.org/W2113731780","https://openalex.org/W2122576055","https://openalex.org/W3021856877","https://openalex.org/W4233745300","https://openalex.org/W4241187216"],"related_works":["https://openalex.org/W1543378523","https://openalex.org/W2916743419","https://openalex.org/W2381491984","https://openalex.org/W2257573499","https://openalex.org/W1847176793","https://openalex.org/W1980200158","https://openalex.org/W2091203523","https://openalex.org/W1513546254","https://openalex.org/W2125164140","https://openalex.org/W2148229336"],"abstract_inverted_index":{"We":[0,55],"give":[1],"two":[2],"different":[3],"notions":[4],"of":[5,27,41,63,65,75,96,101,110],"deadlock":[6,28,42,61,70,108],"for":[7],"systems":[8,64],"based":[9,17,43],"on":[10,18,44],"active":[11,66],"objects":[12,20],"and":[13,21,85],"futures.":[14],"One":[15],"is":[16,37,48,78],"blocked":[19,45],"conforms":[22],"with":[23],"the":[24,52,76,104,111],"classical":[25,53,88],"definition":[26],"by":[29],"Coffman,":[30],"Jr.":[31],"et":[32],"al.":[33],"The":[34],"other":[35],"one":[36],"an":[38,72],"extended":[39],"notion":[40],"processes":[46],"which":[47],"more":[49],"general":[50],"than":[51],"one.":[54],"introduce":[56],"a":[57,97],"technique":[58],"to":[59],"prove":[60],"freedom":[62,71,109],"objects.":[67],"To":[68],"check":[69],"abstract":[73],"version":[74],"program":[77],"translated":[79],"into":[80],"Petri":[81,105],"nets.":[82],"Extended":[83],"deadlocks,":[84],"then":[86],"also":[87],"deadlock,":[89],"can":[90],"be":[91],"detected":[92],"via":[93],"checking":[94],"reachability":[95],"distinct":[98],"marking.":[99],"Absence":[100],"deadlocks":[102],"in":[103],"net":[106],"constitutes":[107],"concrete":[112],"system.":[113]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":1}],"updated_date":"2026-05-07T13:39:58.223016","created_date":"2018-03-29T00:00:00"}