{"id":"https://openalex.org/W1567794727","doi":"https://doi.org/10.3233/fi-2014-1079","title":"Closed Sets in Occurrence Nets with Conflicts","display_name":"Closed Sets in Occurrence Nets with Conflicts","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W1567794727","doi":"https://doi.org/10.3233/fi-2014-1079","mag":"1567794727"},"language":"en","primary_location":{"id":"doi:10.3233/fi-2014-1079","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2014-1079","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/A5071166273","display_name":"Luca Bernardinello","orcid":"https://orcid.org/0000-0002-0639-7593"},"institutions":[{"id":"https://openalex.org/I66752286","display_name":"University of Milano-Bicocca","ror":"https://ror.org/01ynf4891","country_code":"IT","type":"education","lineage":["https://openalex.org/I66752286"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Luca Bernardinello","raw_affiliation_strings":["DISCo, Universit\u00e0 degli studi di Milano - Bicocca, viale Sarca 336 U14, Milano, Italia. bernardinello@disco.unimib.it"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DISCo, Universit\u00e0 degli studi di Milano - Bicocca, viale Sarca 336 U14, Milano, Italia. bernardinello@disco.unimib.it","institution_ids":["https://openalex.org/I66752286"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049680871","display_name":"Carlo Ferigato","orcid":null},"institutions":[{"id":"https://openalex.org/I2800387288","display_name":"European Commission","ror":"https://ror.org/00k4n6c32","country_code":"BE","type":"government","lineage":["https://openalex.org/I1320481043","https://openalex.org/I2800387288"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Carlo Ferigato","raw_affiliation_strings":["JRC, Joint Research Centre of the European Commission, via E. Fermi, 1 21027 Ispra, Italia","JRC, Joint Research Centre of the European Commission, via E. Fermi, 1 21027 Ispra, Italia#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"JRC, Joint Research Centre of the European Commission, via E. Fermi, 1 21027 Ispra, Italia","institution_ids":["https://openalex.org/I2800387288"]},{"raw_affiliation_string":"JRC, Joint Research Centre of the European Commission, via E. Fermi, 1 21027 Ispra, Italia#TAB#","institution_ids":["https://openalex.org/I2800387288"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008279822","display_name":"Stefan Haar","orcid":"https://orcid.org/0000-0002-1892-2703"},"institutions":[{"id":"https://openalex.org/I11559806","display_name":"\u00c9cole Normale Sup\u00e9rieure Paris-Saclay","ror":"https://ror.org/00hx6zz33","country_code":"FR","type":"education","lineage":["https://openalex.org/I11559806","https://openalex.org/I277688954"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Stefan Haar","raw_affiliation_strings":["LSV, CNRS & ENS de Cachan, avenue du Pr\u00e9sident Wilson, 61 94235 CACHAN Cedex, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LSV, CNRS & ENS de Cachan, avenue du Pr\u00e9sident Wilson, 61 94235 CACHAN Cedex, France","institution_ids":["https://openalex.org/I11559806","https://openalex.org/I1294671590"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039309155","display_name":"Lucia Pomello","orcid":"https://orcid.org/0000-0001-5651-915X"},"institutions":[{"id":"https://openalex.org/I66752286","display_name":"University of Milano-Bicocca","ror":"https://ror.org/01ynf4891","country_code":"IT","type":"education","lineage":["https://openalex.org/I66752286"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Lucia Pomello","raw_affiliation_strings":["DISCo, Universit\u00e0 degli studi di Milano - Bicocca, viale Sarca 336 U14, Milano, Italia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DISCo, Universit\u00e0 degli studi di Milano - Bicocca, viale Sarca 336 U14, Milano, Italia","institution_ids":["https://openalex.org/I66752286"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0721,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.75997391,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"133","issue":"4","first_page":"323","last_page":"344"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9976000189781189,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9976000189781189,"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.9954000115394592,"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"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9850999712944031,"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/computer-science","display_name":"Computer science","score":0.49166423082351685},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3615604639053345}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.49166423082351685},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3615604639053345}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.3233/fi-2014-1079","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2014-1079","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:boa.unimib.it:10281/53106","is_oa":false,"landing_page_url":"http://hdl.handle.net/10281/53106","pdf_url":null,"source":{"id":"https://openalex.org/S4306401259","display_name":"BOA (University of Milano-Bicocca)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66752286","host_organization_name":"University of Milano-Bicocca","host_organization_lineage":["https://openalex.org/I66752286"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:publications.jrc.ec.europa.eu:JRC78189","is_oa":false,"landing_page_url":"http://iospress.metapress.com/content/7903817j67124441/?issue=4&genre=article&spage=323&issn=0169-2968&volume=133","pdf_url":null,"source":{"id":"https://openalex.org/S4306401126","display_name":"Joint Research Centre (European Commission)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2800387288","host_organization_name":"European Commission","host_organization_lineage":["https://openalex.org/I2800387288"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Articles in Journals"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320314140","display_name":"Family Process Institute","ror":null},{"id":"https://openalex.org/F4320321873","display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca","ror":"https://ror.org/0166hxq48"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W157358782","https://openalex.org/W1548208472","https://openalex.org/W1593711221","https://openalex.org/W1645769175","https://openalex.org/W1967479370","https://openalex.org/W1977494718","https://openalex.org/W2015010480","https://openalex.org/W2047228476","https://openalex.org/W2077531540","https://openalex.org/W2093397547","https://openalex.org/W2325650027","https://openalex.org/W2612513657"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4391375266","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2142036596","https://openalex.org/W2072657027"],"abstract_inverted_index":{"The":[0,139],"semantics":[1],"of":[2,10,21,31,33,42,58,78,86,101,123,135,187],"concurrent":[3,25,115],"processes":[4,26],"can":[5,50],"be":[6,51],"defined":[7,132],"in":[8,155],"terms":[9],"partially":[11,28],"ordered":[12,29],"sets.":[13,60],"Occurrence":[14],"nets,":[15,23],"which":[16,154,174],"belong":[17],"to":[18,55,120,149],"the":[19,40,43,67,84,92,109,184],"family":[20],"Petri":[22],"model":[24],"as":[27],"sets":[30,88,96],"occurrences":[32],"local":[34,37],"states":[35],"and":[36,91,97,117,191],"events.":[38],"On":[39],"basis":[41],"associated":[44],"concurrency":[45],"relation,":[46],"a":[47,56,151,170,194],"closure":[48,128],"operator":[49,129],"defined,":[52],"giving":[53],"rise":[54],"lattice":[57,85],"closed":[59,87,95,141,188],"Extending":[61],"previous":[62],"results":[63],"along":[64],"this":[65],"line,":[66],"present":[68],"paper":[69,110],"studies":[70],"occurrence":[71,103,167],"nets":[72],"with":[73,112],"forward":[74],"conflicts,":[75],"modelling":[76,114],"families":[77],"processes.":[79],"It":[80],"is":[81,89,130,157,162],"shown":[82,148,163],"that":[83,177],"orthomodular,":[90],"relations":[93],"between":[94],"some":[98],"particular":[99],"substructures":[100],"an":[102,136,166],"net":[104,168],"are":[105,147],"studied.":[106],"In":[107],"particular,":[108],"deals":[111],"runs,":[113],"histories,":[116],"trails,":[118],"corresponding":[119,140],"possible":[121],"histories":[122],"sequential":[124],"components.":[125],"A":[126],"second":[127],"then":[131,183],"by":[133],"means":[134],"iterative":[137],"procedure.":[138],"sets,":[142],"here":[143],"called":[144,172],"\u2018dynamically":[145],"closed\u2019,":[146],"form":[150,193],"complete":[152],"lattice,":[153],"general":[156],"not":[158],"orthocomplemented.":[159],"Finally,":[160],"it":[161],"that,":[164],"if":[165],"satisfies":[169],"property":[171],"B-density,":[173],"essentially":[175],"says":[176],"any":[178,181],"antichain":[179],"meets":[180],"trail,":[182],"two":[185],"notions":[186],"set":[189],"coincide,":[190],"they":[192],"complete,":[195],"algebraic":[196],"orthomodular":[197],"lattice.":[198]},"counts_by_year":[{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2016-06-24T00:00:00"}