{"id":"https://openalex.org/W2036442623","doi":"https://doi.org/10.1109/tac.2014.2315311","title":"Weak Invariant Simulation and Its Application to Analysis of Parameterized Networks","display_name":"Weak Invariant Simulation and Its Application to Analysis of Parameterized Networks","publication_year":2014,"publication_date":"2014-04-09","ids":{"openalex":"https://openalex.org/W2036442623","doi":"https://doi.org/10.1109/tac.2014.2315311","mag":"2036442623"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2014.2315311","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2014.2315311","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","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/A5083024445","display_name":"M. H. Zibaeenejad","orcid":"https://orcid.org/0000-0002-8288-1360"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"M. H. Zibaeenejad","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Waterloo, Waterloo, ON, Canada","[Dept. of Electr. & Comput. Eng., Univ. of Waterloo, Waterloo, ON, Canada]"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Waterloo, Waterloo, ON, Canada","institution_ids":["https://openalex.org/I151746483"]},{"raw_affiliation_string":"[Dept. of Electr. & Comput. Eng., Univ. of Waterloo, Waterloo, ON, Canada]","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090460622","display_name":"J.G. Thistle","orcid":null},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"J. G. Thistle","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Waterloo, Waterloo, ON, Canada","[Dept. of Electr. & Comput. Eng., Univ. of Waterloo, Waterloo, ON, Canada]"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Waterloo, Waterloo, ON, Canada","institution_ids":["https://openalex.org/I151746483"]},{"raw_affiliation_string":"[Dept. of Electr. & Comput. Eng., Univ. of Waterloo, Waterloo, ON, Canada]","institution_ids":["https://openalex.org/I151746483"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5083024445"],"corresponding_institution_ids":["https://openalex.org/I151746483"],"apc_list":null,"apc_paid":null,"fwci":2.8486,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.90688665,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"59","issue":"8","first_page":"2024","last_page":"2037"},"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.9991000294685364,"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.9944000244140625,"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/parameterized-complexity","display_name":"Parameterized complexity","score":0.8777832388877869},{"id":"https://openalex.org/keywords/undecidable-problem","display_name":"Undecidable problem","score":0.8278273344039917},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.6763836145401001},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.673748254776001},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6709117293357849},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5336839556694031},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.517187237739563},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4619584083557129},{"id":"https://openalex.org/keywords/discrete-event-simulation","display_name":"Discrete event simulation","score":0.4479059875011444},{"id":"https://openalex.org/keywords/generator","display_name":"Generator (circuit theory)","score":0.43590667843818665},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.4164445698261261},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3929706811904907},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.31673097610473633},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2479618489742279}],"concepts":[{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.8777832388877869},{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.8278273344039917},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.6763836145401001},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.673748254776001},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6709117293357849},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5336839556694031},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.517187237739563},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4619584083557129},{"id":"https://openalex.org/C147203929","wikidata":"https://www.wikidata.org/wiki/Q574814","display_name":"Discrete event simulation","level":2,"score":0.4479059875011444},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.43590667843818665},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.4164445698261261},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3929706811904907},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.31673097610473633},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2479618489742279},{"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/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.0},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tac.2014.2315311","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2014.2315311","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7900000214576721,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G3444511433","display_name":null,"funder_award_id":"RGPIN-155594-0","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"}],"funders":[{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W258022877","https://openalex.org/W304710776","https://openalex.org/W1509819701","https://openalex.org/W1517752490","https://openalex.org/W1583551426","https://openalex.org/W1589760516","https://openalex.org/W1979349468","https://openalex.org/W2010651876","https://openalex.org/W2011039300","https://openalex.org/W2012427794","https://openalex.org/W2037933704","https://openalex.org/W2041795078","https://openalex.org/W2053688063","https://openalex.org/W2060093727","https://openalex.org/W2069208287","https://openalex.org/W2084880396","https://openalex.org/W2088998139","https://openalex.org/W2110425399","https://openalex.org/W2118382442","https://openalex.org/W2128061767","https://openalex.org/W2147269402","https://openalex.org/W2162786453","https://openalex.org/W2170721748","https://openalex.org/W2952252756","https://openalex.org/W6630720924","https://openalex.org/W6630997223","https://openalex.org/W6634929380","https://openalex.org/W6659818117"],"related_works":["https://openalex.org/W2972379433","https://openalex.org/W1501430220","https://openalex.org/W2989332944","https://openalex.org/W2021891065","https://openalex.org/W2583549044","https://openalex.org/W2119045600","https://openalex.org/W2584984136","https://openalex.org/W1542027783","https://openalex.org/W129916058","https://openalex.org/W2962928105"],"abstract_inverted_index":{"Multi-process":[0],"networks":[1,18,50,114],"figure":[2],"in":[3,118],"many":[4],"engineering":[5],"applications.":[6],"Parameterized":[7],"discrete":[8,73],"event":[9,74],"systems":[10],"provide":[11],"a":[12,56,85,97,108,126,151],"convenient":[13],"means":[14],"of":[15,22,33,48,69,72,111,115,136,141,150,153],"modeling":[16],"such":[17,36],"when":[19],"the":[20,67,132,137,142,147,154],"number":[21],"subprocesses":[23,117],"is":[24,64,104,121,128,144],"arbitrary,":[25],"unknown":[26],"or":[27],"time-varying.":[28],"Unfortunately,":[29],"some":[30],"key":[31],"properties":[32],"these":[34,49],"networks,":[35],"as":[37],"nonblocking":[38],"and":[39],"deadlock-freedom,":[40],"are":[41,51],"undecidable.":[42],"Moreover,":[43],"mathematical":[44,58],"tools":[45],"supporting":[46],"analysis":[47,68,149],"limited.":[52],"This":[53,100],"paper":[54],"introduces":[55],"novel":[57],"notion,":[59],"weak":[60],"invariant":[61],"simulation,":[62],"which":[63,119],"adapted":[65],"to":[66,82,96,106,130],"synchronous":[70],"products":[71],"systems.":[75],"Furthermore,":[76],"it":[77],"proposes":[78],"an":[79],"efficient":[80],"method":[81],"check":[83],"whether":[84],"finite-state":[86,92],"generator":[87,93],"weakly":[88],"invariantly":[89],"simulates":[90],"another":[91],"with":[94],"respect":[95],"specific":[98],"subalphabet.":[99],"new":[101],"simulation":[102],"relation":[103],"used":[105],"define":[107],"tractable":[109],"subclass":[110],"parameterized":[112],"ring":[113],"isomorphic":[116],"deadlock-freedom":[120],"decidable.":[122],"Within":[123],"this":[124],"framework,":[125],"procedure":[127,143],"given":[129],"determine":[131],"reachable":[133],"deadlocked":[134],"states":[135],"network.":[138],"The":[139],"effectiveness":[140],"demonstrated":[145],"by":[146],"deadlock":[148],"version":[152],"dining":[155],"philosophers":[156],"problem.":[157]},"counts_by_year":[{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}