{"id":"https://openalex.org/W2078351107","doi":"https://doi.org/10.1007/s10626-014-0190-x","title":"Fault model identification and synthesis in Petri nets","display_name":"Fault model identification and synthesis in Petri nets","publication_year":2014,"publication_date":"2014-06-10","ids":{"openalex":"https://openalex.org/W2078351107","doi":"https://doi.org/10.1007/s10626-014-0190-x","mag":"2078351107"},"language":"en","primary_location":{"id":"doi:10.1007/s10626-014-0190-x","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10626-014-0190-x","pdf_url":null,"source":{"id":"https://openalex.org/S134484881","display_name":"Discrete Event Dynamic Systems","issn_l":"0924-6703","issn":["0924-6703","1573-7594"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discrete Event Dynamic Systems","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/A5027617223","display_name":"Maria Paola Cabasino","orcid":null},"institutions":[{"id":"https://openalex.org/I172446870","display_name":"University of Cagliari","ror":"https://ror.org/003109y17","country_code":"IT","type":"education","lineage":["https://openalex.org/I172446870"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Maria Paola Cabasino","raw_affiliation_strings":["Department of Electrical and Electronic Engineering, University of Cagliari, Piazza D\u2019Armi, 09123, Cagliari, Italy","Department of Electrical and Electronic Engineering, University of Cagliari, Piazza D'Armi, 09123, Cagliari, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Electronic Engineering, University of Cagliari, Piazza D\u2019Armi, 09123, Cagliari, Italy","institution_ids":["https://openalex.org/I172446870"]},{"raw_affiliation_string":"Department of Electrical and Electronic Engineering, University of Cagliari, Piazza D'Armi, 09123, Cagliari, Italy","institution_ids":["https://openalex.org/I172446870"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030895170","display_name":"Alessandro Giua","orcid":"https://orcid.org/0000-0002-3859-9472"},"institutions":[{"id":"https://openalex.org/I172446870","display_name":"University of Cagliari","ror":"https://ror.org/003109y17","country_code":"IT","type":"education","lineage":["https://openalex.org/I172446870"]},{"id":"https://openalex.org/I21491767","display_name":"Aix-Marseille Universit\u00e9","ror":"https://ror.org/035xkbk20","country_code":"FR","type":"education","lineage":["https://openalex.org/I21491767"]}],"countries":["FR","IT"],"is_corresponding":false,"raw_author_name":"Alessandro Giua","raw_affiliation_strings":["Aix-Marseille University, LSIS, Marseille, France","Department of Electrical and Electronic Engineering, University of Cagliari, Piazza D\u2019Armi, 09123, Cagliari, Italy","Department of Electrical and Electronic Engineering, University of Cagliari, Piazza D'Armi, 09123, Cagliari, Italy"],"affiliations":[{"raw_affiliation_string":"Aix-Marseille University, LSIS, Marseille, France","institution_ids":["https://openalex.org/I21491767"]},{"raw_affiliation_string":"Department of Electrical and Electronic Engineering, University of Cagliari, Piazza D\u2019Armi, 09123, Cagliari, Italy","institution_ids":["https://openalex.org/I172446870"]},{"raw_affiliation_string":"Department of Electrical and Electronic Engineering, University of Cagliari, Piazza D'Armi, 09123, Cagliari, Italy","institution_ids":["https://openalex.org/I172446870"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030551100","display_name":"Christoforos N. Hadjicostis","orcid":"https://orcid.org/0000-0002-1706-708X"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]},{"id":"https://openalex.org/I34771391","display_name":"University of Cyprus","ror":"https://ror.org/02qjrjx09","country_code":"CY","type":"education","lineage":["https://openalex.org/I34771391"]}],"countries":["CY","US"],"is_corresponding":false,"raw_author_name":"Christoforos N. Hadjicostis","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Cyprus, Nicosia, Cyprus","Department of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign, Champaign, IL, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Cyprus, Nicosia, Cyprus","institution_ids":["https://openalex.org/I34771391"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign, Champaign, IL, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005940530","display_name":"Carla Seatzu","orcid":"https://orcid.org/0000-0003-2014-352X"},"institutions":[{"id":"https://openalex.org/I172446870","display_name":"University of Cagliari","ror":"https://ror.org/003109y17","country_code":"IT","type":"education","lineage":["https://openalex.org/I172446870"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Carla Seatzu","raw_affiliation_strings":["Department of Electrical and Electronic Engineering, University of Cagliari, Piazza D\u2019Armi, 09123, Cagliari, Italy","Department of Electrical and Electronic Engineering, University of Cagliari, Piazza D'Armi, 09123, Cagliari, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Electronic Engineering, University of Cagliari, Piazza D\u2019Armi, 09123, Cagliari, Italy","institution_ids":["https://openalex.org/I172446870"]},{"raw_affiliation_string":"Department of Electrical and Electronic Engineering, University of Cagliari, Piazza D'Armi, 09123, Cagliari, Italy","institution_ids":["https://openalex.org/I172446870"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5027617223"],"corresponding_institution_ids":["https://openalex.org/I172446870"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":5.145,"has_fulltext":false,"cited_by_count":38,"citation_normalized_percentile":{"value":0.95878901,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":"25","issue":"3","first_page":"419","last_page":"440"},"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.9991999864578247,"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.9947999715805054,"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/petri-net","display_name":"Petri net","score":0.8780022263526917},{"id":"https://openalex.org/keywords/unobservable","display_name":"Unobservable","score":0.7790547013282776},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.6115580201148987},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5818774700164795},{"id":"https://openalex.org/keywords/identification","display_name":"Identification (biology)","score":0.5502030849456787},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5252218246459961},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.488192617893219},{"id":"https://openalex.org/keywords/integer-programming","display_name":"Integer programming","score":0.45914503931999207},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4373871982097626},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.4151403307914734},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34744131565093994},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2278880476951599},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11333239078521729}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8780022263526917},{"id":"https://openalex.org/C2780695315","wikidata":"https://www.wikidata.org/wiki/Q3799040","display_name":"Unobservable","level":2,"score":0.7790547013282776},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.6115580201148987},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5818774700164795},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.5502030849456787},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5252218246459961},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.488192617893219},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.45914503931999207},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4373871982097626},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.4151403307914734},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34744131565093994},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2278880476951599},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11333239078521729},{"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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"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/C59822182","wikidata":"https://www.wikidata.org/wiki/Q441","display_name":"Botany","level":1,"score":0.0},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0},{"id":"https://openalex.org/C149782125","wikidata":"https://www.wikidata.org/wiki/Q160039","display_name":"Econometrics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10626-014-0190-x","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10626-014-0190-x","pdf_url":null,"source":{"id":"https://openalex.org/S134484881","display_name":"Discrete Event Dynamic Systems","issn_l":"0924-6703","issn":["0924-6703","1573-7594"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discrete Event Dynamic Systems","raw_type":"journal-article"},{"id":"pmh:oai:iris.unica.it:11584/102702","is_oa":false,"landing_page_url":"http://hdl.handle.net/11584/102702","pdf_url":null,"source":{"id":"https://openalex.org/S4377196293","display_name":"UNICA IRIS Institutional Research Information System (University of Cagliari)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I172446870","host_organization_name":"University of Cagliari","host_organization_lineage":["https://openalex.org/I172446870"],"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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1515199490","https://openalex.org/W1530729908","https://openalex.org/W1583938627","https://openalex.org/W1584758696","https://openalex.org/W1595520837","https://openalex.org/W1599201870","https://openalex.org/W1833736042","https://openalex.org/W1977985274","https://openalex.org/W1993618162","https://openalex.org/W1996109622","https://openalex.org/W2003587207","https://openalex.org/W2017906621","https://openalex.org/W2044981168","https://openalex.org/W2108629956","https://openalex.org/W2111357926","https://openalex.org/W2122499806","https://openalex.org/W2135367183","https://openalex.org/W2143997593","https://openalex.org/W2158466103","https://openalex.org/W2556487477","https://openalex.org/W3146859248","https://openalex.org/W3148010621","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2614563012","https://openalex.org/W4293337373","https://openalex.org/W1968533609","https://openalex.org/W1984270607","https://openalex.org/W2349333549","https://openalex.org/W2116445905","https://openalex.org/W2486803649","https://openalex.org/W3140685204","https://openalex.org/W2151008975","https://openalex.org/W2792638268"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":7},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":6},{"year":2015,"cited_by_count":4}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}