{"id":"https://openalex.org/W1497728757","doi":"https://doi.org/10.3233/kes-2010-0191","title":"Diagnosability verification with Petri net unfoldings","display_name":"Diagnosability verification with Petri net unfoldings","publication_year":2010,"publication_date":"2010-06-10","ids":{"openalex":"https://openalex.org/W1497728757","doi":"https://doi.org/10.3233/kes-2010-0191","mag":"1497728757"},"language":"en","primary_location":{"id":"doi:10.3233/kes-2010-0191","is_oa":false,"landing_page_url":"https://doi.org/10.3233/kes-2010-0191","pdf_url":null,"source":{"id":"https://openalex.org/S133764092","display_name":"International Journal of Knowledge-based and Intelligent Engineering Systems","issn_l":"1327-2314","issn":["1327-2314","1875-8827"],"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":"International Journal of Knowledge-based and Intelligent Engineering 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/A5072518922","display_name":"Agnes Madalinski","orcid":null},"institutions":[{"id":"https://openalex.org/I16465266","display_name":"Austral University of Chile","ror":"https://ror.org/029ycp228","country_code":"CL","type":"education","lineage":["https://openalex.org/I16465266"]}],"countries":["CL"],"is_corresponding":true,"raw_author_name":"Agnes Madalinski","raw_affiliation_strings":["Faculty of Engineering Science, Univ. Austral de Chile, Valdivia, Chile","(Correspd. E-mail: amadalin@uach.cl) Faculty of Engineering Science, Univ. Austral de Chile, Valdivia, Chile#TAB#"],"affiliations":[{"raw_affiliation_string":"Faculty of Engineering Science, Univ. Austral de Chile, Valdivia, Chile","institution_ids":["https://openalex.org/I16465266"]},{"raw_affiliation_string":"(Correspd. E-mail: amadalin@uach.cl) Faculty of Engineering Science, Univ. Austral de Chile, Valdivia, Chile#TAB#","institution_ids":["https://openalex.org/I16465266"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031696569","display_name":"Farid Nouioua","orcid":"https://orcid.org/0000-0002-6505-9797"},"institutions":[{"id":"https://openalex.org/I4210114274","display_name":"Laboratoire d\u2019Informatique et Syst\u00e8mes","ror":"https://ror.org/0257sgk90","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I143002897","https://openalex.org/I21491767","https://openalex.org/I4210114274"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Farid Nouioua","raw_affiliation_strings":["Laboratoire des sciences de l'information et des syst\u00e8mes, Marseille, France"],"affiliations":[{"raw_affiliation_string":"Laboratoire des sciences de l'information et des syst\u00e8mes, Marseille, France","institution_ids":["https://openalex.org/I4210114274"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057069790","display_name":"Philippe Dague","orcid":"https://orcid.org/0000-0003-1679-0804"},"institutions":[{"id":"https://openalex.org/I4210144804","display_name":"Laboratoire de Recherche en Informatique","ror":"https://ror.org/04e3ktk27","country_code":"FR","type":"facility","lineage":["https://openalex.org/I102197404","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210144804","https://openalex.org/I4210159245"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210126360","display_name":"Inria Saclay - \u00cele de France","ror":"https://ror.org/0315e5x55","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210126360"]},{"id":"https://openalex.org/I102197404","display_name":"Universit\u00e9 Paris-Sud","ror":"https://ror.org/028rypz17","country_code":"FR","type":"education","lineage":["https://openalex.org/I102197404"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Philippe Dague","raw_affiliation_strings":["LRI, Univ. Paris-Sud, CNRS/INRIA Saclay, Orsay, France","LRI, Univ. Paris-Sud, CNRS/INRIA Saclay, Orsay, France#TAB#"],"affiliations":[{"raw_affiliation_string":"LRI, Univ. Paris-Sud, CNRS/INRIA Saclay, Orsay, France","institution_ids":["https://openalex.org/I4210126360","https://openalex.org/I1326498283","https://openalex.org/I102197404","https://openalex.org/I4210144804","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"LRI, Univ. Paris-Sud, CNRS/INRIA Saclay, Orsay, France#TAB#","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I102197404","https://openalex.org/I1294671590","https://openalex.org/I4210144804"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5072518922"],"corresponding_institution_ids":["https://openalex.org/I16465266"],"apc_list":null,"apc_paid":null,"fwci":4.0143,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.93384687,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"14","issue":"2","first_page":"49","last_page":"55"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9980000257492065,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9883999824523926,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.8551483154296875},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6475015878677368},{"id":"https://openalex.org/keywords/net","display_name":"Net (polyhedron)","score":0.5461732745170593},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.4804922342300415},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.36063265800476074},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1803474724292755},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.027085572481155396}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8551483154296875},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6475015878677368},{"id":"https://openalex.org/C14166107","wikidata":"https://www.wikidata.org/wiki/Q253829","display_name":"Net (polyhedron)","level":2,"score":0.5461732745170593},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.4804922342300415},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.36063265800476074},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1803474724292755},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.027085572481155396}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/kes-2010-0191","is_oa":false,"landing_page_url":"https://doi.org/10.3233/kes-2010-0191","pdf_url":null,"source":{"id":"https://openalex.org/S133764092","display_name":"International Journal of Knowledge-based and Intelligent Engineering Systems","issn_l":"1327-2314","issn":["1327-2314","1875-8827"],"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":"International Journal of Knowledge-based and Intelligent Engineering Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5699999928474426,"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W72560362","https://openalex.org/W174158864","https://openalex.org/W177612899","https://openalex.org/W1503071078","https://openalex.org/W1546123412","https://openalex.org/W1985787415","https://openalex.org/W2113647000","https://openalex.org/W2117558445","https://openalex.org/W2142663066","https://openalex.org/W2147774669","https://openalex.org/W2164024827","https://openalex.org/W2899793400"],"related_works":["https://openalex.org/W1543378523","https://openalex.org/W2081678986","https://openalex.org/W1491709828","https://openalex.org/W2916743419","https://openalex.org/W2381491984","https://openalex.org/W2257573499","https://openalex.org/W2148229336","https://openalex.org/W1980200158","https://openalex.org/W1513546254","https://openalex.org/W2091203523"],"abstract_inverted_index":{"Complex":[0],"systems":[1],"increasingly":[2],"require":[3],"safety":[4],"and":[5,12],"robustness":[6],"with":[7],"regards":[8],"to":[9,18,35],"faults":[10],"occurrences,":[11],"diagnosability":[13],"is":[14],"a":[15],"key":[16],"property":[17],"ensure":[19],"this":[20],"at":[21],"design":[22],"stage.":[23],"This":[24],"paper":[25],"demonstrates":[26],"how":[27],"Petri":[28],"net":[29],"unfoldings,":[30],"which":[31],"have":[32],"been":[33],"proven":[34],"elevate":[36],"th":[37]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":6}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}