{"id":"https://openalex.org/W2057252100","doi":"https://doi.org/10.1109/acc.2010.5530916","title":"A reachability graph partitioning technique for the analysis of deadlock prevention methods in bounded Petri nets","display_name":"A reachability graph partitioning technique for the analysis of deadlock prevention methods in bounded Petri nets","publication_year":2010,"publication_date":"2010-06-01","ids":{"openalex":"https://openalex.org/W2057252100","doi":"https://doi.org/10.1109/acc.2010.5530916","mag":"2057252100"},"language":"en","primary_location":{"id":"doi:10.1109/acc.2010.5530916","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acc.2010.5530916","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2010 American Control Conference","raw_type":"proceedings-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/A5012529282","display_name":"Ivan Fumagalli","orcid":"https://orcid.org/0000-0001-9256-1398"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"I Fumagalli","raw_affiliation_strings":["Automata SpA, Varese, Italy","Automata S.p.A., 21042, Caronno Pertusella (VA), Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Automata SpA, Varese, Italy","institution_ids":[]},{"raw_affiliation_string":"Automata S.p.A., 21042, Caronno Pertusella (VA), Italy","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070453413","display_name":"Luigi Piroddi","orcid":"https://orcid.org/0000-0002-6063-8060"},"institutions":[{"id":"https://openalex.org/I93860229","display_name":"Politecnico di Milano","ror":"https://ror.org/01nffqt88","country_code":"IT","type":"education","lineage":["https://openalex.org/I93860229"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"L Piroddi","raw_affiliation_strings":["Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milan, Italy","Dipartimento di Elettronica e Informazione, Polit\u00e9cnico di Milano, 20133 Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milan, Italy","institution_ids":["https://openalex.org/I93860229"]},{"raw_affiliation_string":"Dipartimento di Elettronica e Informazione, Polit\u00e9cnico di Milano, 20133 Italy","institution_ids":["https://openalex.org/I93860229"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008632321","display_name":"Roberto Cordone","orcid":"https://orcid.org/0000-0002-5439-1743"},"institutions":[{"id":"https://openalex.org/I189158943","display_name":"University of Milan","ror":"https://ror.org/00wjc7c48","country_code":"IT","type":"education","lineage":["https://openalex.org/I189158943"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"R Cordone","raw_affiliation_strings":["Dipartimento di Scienze dell'Informazione, Universit\u00e0 degli Studi di Milano, Milan, Italy","Dipartimento di Scienze dell \u2018Informazione, Universit\u00e0 degli Studi di Milano, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Scienze dell'Informazione, Universit\u00e0 degli Studi di Milano, Milan, Italy","institution_ids":["https://openalex.org/I189158943"]},{"raw_affiliation_string":"Dipartimento di Scienze dell \u2018Informazione, Universit\u00e0 degli Studi di Milano, Italy","institution_ids":["https://openalex.org/I189158943"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.4048,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.8855611,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"3365","last_page":"3370"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":1.0,"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":1.0,"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.9970999956130981,"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.9961000084877014,"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/reachability","display_name":"Reachability","score":0.9494390487670898},{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.8949882984161377},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.8908902406692505},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.7136915922164917},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6709161996841431},{"id":"https://openalex.org/keywords/redundancy","display_name":"Redundancy (engineering)","score":0.6363368034362793},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5951644778251648},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.5809845924377441},{"id":"https://openalex.org/keywords/deadlock-prevention-algorithms","display_name":"Deadlock prevention algorithms","score":0.5809727311134338},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.4961014688014984},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.49554431438446045},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4757758677005768},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3266527056694031},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2851489186286926}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.9494390487670898},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.8949882984161377},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8908902406692505},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.7136915922164917},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6709161996841431},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.6363368034362793},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5951644778251648},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.5809845924377441},{"id":"https://openalex.org/C113429609","wikidata":"https://www.wikidata.org/wiki/Q4060699","display_name":"Deadlock prevention algorithms","level":3,"score":0.5809727311134338},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.4961014688014984},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.49554431438446045},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4757758677005768},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3266527056694031},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2851489186286926},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/acc.2010.5530916","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acc.2010.5530916","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2010 American Control Conference","raw_type":"proceedings-article"},{"id":"pmh:oai:re.public.polimi.it:11311/571244","is_oa":false,"landing_page_url":"http://hdl.handle.net/11311/571244","pdf_url":null,"source":{"id":"https://openalex.org/S4306400312","display_name":"Virtual Community of Pathological Anatomy (University of Castilla La Mancha)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79189158","host_organization_name":"University of Castilla-La Mancha","host_organization_lineage":["https://openalex.org/I79189158"],"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/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W15664569","https://openalex.org/W1564354068","https://openalex.org/W1589633291","https://openalex.org/W1978787137","https://openalex.org/W1996109622","https://openalex.org/W2016300863","https://openalex.org/W2053369452","https://openalex.org/W2070498686","https://openalex.org/W2095603938","https://openalex.org/W2098899007","https://openalex.org/W2108678912","https://openalex.org/W2111126894","https://openalex.org/W2118382442","https://openalex.org/W2124901174","https://openalex.org/W2140872435","https://openalex.org/W2146738006","https://openalex.org/W2147281200","https://openalex.org/W2165406169","https://openalex.org/W2310793150"],"related_works":["https://openalex.org/W4312626387","https://openalex.org/W1651168384","https://openalex.org/W2103504376","https://openalex.org/W2153337086","https://openalex.org/W1989082972","https://openalex.org/W2015160737","https://openalex.org/W2050076411","https://openalex.org/W1867637656","https://openalex.org/W2329232208","https://openalex.org/W4361186044"],"abstract_inverted_index":{"Siphon":[0],"control":[1,20],"is":[2,74],"a":[3,43,77],"widespread":[4],"methodology":[5],"for":[6,79],"deadlock":[7],"prevention":[8],"(DP)":[9],"in":[10,85],"Petri":[11],"net":[12],"(PN)":[13],"models.":[14],"Besides":[15],"achieving":[16],"liveness":[17],"or":[18],"DP,":[19],"methods":[21,84],"should":[22],"also":[23],"be":[24],"evaluated":[25],"regarding":[26,64],"their":[27],"permissivity":[28],"(in":[29],"terms":[30],"of":[31,34,45,82,92],"the":[32,46,59,80,90],"number":[33],"allowed":[35],"states)":[36],"and":[37,56,67,96],"constraint":[38,97],"redundancy.":[39],"This":[40],"work":[41],"introduces":[42],"partitioning":[44],"reachability":[47],"graph":[48,73],"based":[49],"on":[50],"strongly":[51],"connected":[52],"components":[53],"that":[54],"nicely":[55],"compactly":[57],"illustrates":[58],"PN's":[60],"evolution":[61],"behavior,":[62],"especially":[63],"liveness,":[65],"deadlocks":[66],"siphon-related":[68],"properties.":[69],"The":[70],"resulting":[71],"reduced":[72],"used":[75],"as":[76],"tool":[78],"analysis":[81],"DP":[83],"bounded":[86],"PNs,":[87],"to":[88],"reveal":[89],"use":[91],"non-maximally":[93],"permissive":[94],"constraints":[95],"overlapping.":[98]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}