{"id":"https://openalex.org/W2152306521","doi":"https://doi.org/10.1109/qest.2006.17","title":"Efficient lumpability check in partially symmetric systems","display_name":"Efficient lumpability check in partially symmetric systems","publication_year":2006,"publication_date":"2006-01-01","ids":{"openalex":"https://openalex.org/W2152306521","doi":"https://doi.org/10.1109/qest.2006.17","mag":"2152306521"},"language":"en","primary_location":{"id":"doi:10.1109/qest.2006.17","is_oa":false,"landing_page_url":"https://doi.org/10.1109/qest.2006.17","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Third International Conference on the Quantitative Evaluation of Systems - (QEST'06)","raw_type":"proceedings-article"},"type":"preprint","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/A5004185054","display_name":"Jean\u2010Michel Ili\u00e9","orcid":"https://orcid.org/0000-0002-0057-3090"},"institutions":[{"id":"https://openalex.org/I123338534","display_name":"Universit\u00e0 degli Studi del Piemonte Orientale \u201cAmedeo Avogadro\u201d","ror":"https://ror.org/04387x656","country_code":"IT","type":"education","lineage":["https://openalex.org/I123338534"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"J.-M. Ilie","raw_affiliation_strings":["Dip. Informatica, Univ. del Piemonte Orientale, Alessandria, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dip. Informatica, Univ. del Piemonte Orientale, Alessandria, Italy","institution_ids":["https://openalex.org/I123338534"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107857227","display_name":"S. Baarir","orcid":null},"institutions":[{"id":"https://openalex.org/I123338534","display_name":"Universit\u00e0 degli Studi del Piemonte Orientale \u201cAmedeo Avogadro\u201d","ror":"https://ror.org/04387x656","country_code":"IT","type":"education","lineage":["https://openalex.org/I123338534"]},{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]}],"countries":["FR","IT"],"is_corresponding":false,"raw_author_name":"S. Baarir","raw_affiliation_strings":["Dip.Informatica, University del Piemonte Orientale, Alessandria, Italy","LIP6, Univ. Pierre et Marie Curie, Paris, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dip.Informatica, University del Piemonte Orientale, Alessandria, Italy","institution_ids":["https://openalex.org/I123338534"]},{"raw_affiliation_string":"LIP6, Univ. Pierre et Marie Curie, Paris, France","institution_ids":["https://openalex.org/I39804081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5106824259","display_name":"G. Franceschinis","orcid":null},"institutions":[{"id":"https://openalex.org/I123338534","display_name":"Universit\u00e0 degli Studi del Piemonte Orientale \u201cAmedeo Avogadro\u201d","ror":"https://ror.org/04387x656","country_code":"IT","type":"education","lineage":["https://openalex.org/I123338534"]},{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]}],"countries":["FR","IT"],"is_corresponding":false,"raw_author_name":"G. Franceschinis","raw_affiliation_strings":["Dip. Informatica, Univ. del Piemonte Orientale, Alessandria","Dip. Informatica, Univ. del Piemonte Orientale, Alessandria, Italy","LIP6, University Pierre and Marie Curie, Paris, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dip. Informatica, Univ. del Piemonte Orientale, Alessandria","institution_ids":["https://openalex.org/I123338534"]},{"raw_affiliation_string":"Dip. Informatica, Univ. del Piemonte Orientale, Alessandria, Italy","institution_ids":["https://openalex.org/I123338534"]},{"raw_affiliation_string":"LIP6, University Pierre and Marie Curie, Paris, France","institution_ids":["https://openalex.org/I39804081"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002392135","display_name":"Marco Beccuti","orcid":"https://orcid.org/0000-0001-6125-9460"},"institutions":[{"id":"https://openalex.org/I123338534","display_name":"Universit\u00e0 degli Studi del Piemonte Orientale \u201cAmedeo Avogadro\u201d","ror":"https://ror.org/04387x656","country_code":"IT","type":"education","lineage":["https://openalex.org/I123338534"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"M. Beccuti","raw_affiliation_strings":["Dip. Informatica, Univ. del Piemonte Orientale, Alessandria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dip. Informatica, Univ. del Piemonte Orientale, Alessandria","institution_ids":["https://openalex.org/I123338534"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0119,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.78360945,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"211","last_page":"220"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","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/T10142","display_name":"Formal Methods in Verification","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/T11125","display_name":"Petri Nets in System Modeling","score":0.9993000030517578,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9958000183105469,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5185821056365967}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5185821056365967}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/qest.2006.17","is_oa":false,"landing_page_url":"https://doi.org/10.1109/qest.2006.17","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Third International Conference on the Quantitative Evaluation of Systems - (QEST'06)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-01351624v1","is_oa":false,"landing_page_url":"https://hal.science/hal-01351624","pdf_url":null,"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":"3rd International Conference on the Quantitative Evaluation of Systems (QEST '06), Sep 2006, Riverside, CA, United States. pp.211-220, ⟨10.1109/QEST.2006.17⟩","raw_type":"Conference papers"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1579149493","https://openalex.org/W2000193910","https://openalex.org/W2027139596","https://openalex.org/W2044811734","https://openalex.org/W2068361557","https://openalex.org/W2096249059","https://openalex.org/W2109142454","https://openalex.org/W2114710208","https://openalex.org/W2146432221","https://openalex.org/W2159763578","https://openalex.org/W2236861367","https://openalex.org/W6689775054"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W4402327032","https://openalex.org/W2382290278"],"abstract_inverted_index":{"State":[0],"space":[1,14],"based":[2],"performance":[3],"analysis":[4],"of":[5,35,67,91,184,188],"stochastic":[6],"models":[7],"may":[8],"be":[9,20,85],"impaired":[10],"by":[11,26,141],"the":[12,39,44,52,68,72,80,89,104,109,118,133,138,146,154,176,179,189,192,197,207],"state":[13],"explosion":[15],"but":[16,88],"such":[17],"problem":[18],"can":[19,84],"mitigated":[21],"in":[22,95,103,107],"symmetrical":[23],"behaving":[24],"systems":[25],"aggregating":[27],"equivalent":[28],"states":[29],"and":[30,57,137,156,166,181],"transitions.":[31],"An":[32],"effective":[33],"way":[34],"exploiting":[36],"symmetries":[37],"when":[38],"system":[40],"is":[41,49,98,135],"modeled":[42],"using":[43],"StochasticWell-Formed":[45],"Net":[46],"(SWN)":[47],"formalism,":[48],"to":[50,116,161,205],"generate":[51],"Symbolic":[53],"Reachability":[54],"Graph":[55],"(SRG)":[56],"automatically":[58],"derive":[59,128],"a":[60,92,114,124,129,167],"lumped":[61,93,130],"Continuous":[62],"Time":[63],"Markov":[64],"Chain":[65],"(CTMC)":[66],"same":[69],"size":[70],"as":[71,100,102],"SRG":[73,82,105],"from":[74,132],"it.":[75],"For":[76],"partially":[77],"symmetric":[78],"systems,":[79],"Extended":[81],"(ESRG)":[83],"used":[86],"instead,":[87],"derivation":[90],"CTMC":[94,131],"this":[96,122,203],"case":[97],"not":[99],"direct":[101],"case:":[106],"fact":[108],"ESRG":[110,134],"structure":[111],"might":[112],"need":[113],"refinement":[115,159],"satisfy":[117],"lumpability":[119,170],"conditions.":[120],"In":[121],"paper":[123],"new":[125],"efficient":[126],"algorithmto":[127],"presented,":[136],"results":[139],"obtained":[140],"experimenting":[142],"its":[143],"implementation":[144,187],"within":[145,191],"GreatSPN":[147,193],"environment":[148,194],"are":[149],"discussed.":[150],"The":[151,186],"algorithm":[152,172,190],"combines":[153],"Paige":[155],"Tarjan\u2019s":[157],"partition":[158],"algorithm(extended":[160],"work":[162],"with":[163,178],"weighted":[164],"arcs)":[165],"previously":[168],"proposed":[169,208],"check":[171],"(built":[173],"specifically":[174],"for":[175],"use":[177],"ESRG)":[180],"outperforms":[182],"both":[183],"them.":[185],"will":[195],"allow":[196],"several":[198],"users":[199],"that":[200],"have":[201],"chosen":[202],"package":[204],"apply":[206],"technique.":[209]},"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}