{"id":"https://openalex.org/W2479050047","doi":"https://doi.org/10.1080/00207179.2016.1216607","title":"Exploiting symmetry of state tree structures for discrete-event systems with parallel components","display_name":"Exploiting symmetry of state tree structures for discrete-event systems with parallel components","publication_year":2016,"publication_date":"2016-07-28","ids":{"openalex":"https://openalex.org/W2479050047","doi":"https://doi.org/10.1080/00207179.2016.1216607","mag":"2479050047"},"language":"en","primary_location":{"id":"doi:10.1080/00207179.2016.1216607","is_oa":false,"landing_page_url":"https://doi.org/10.1080/00207179.2016.1216607","pdf_url":null,"source":{"id":"https://openalex.org/S88061139","display_name":"International Journal of Control","issn_l":"0020-7179","issn":["0020-7179","1366-5820"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Control","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://utoronto.scholaris.ca/bitstreams/588df70b-e852-40b5-b3c5-2ec8819019ed/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066285442","display_name":"Ting Jiao","orcid":"https://orcid.org/0000-0003-2343-9932"},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ting Jiao","raw_affiliation_strings":["School of Electrical Engineering, Xi'an Jiaotong University, Xi'an, China"],"raw_orcid":"https://orcid.org/0000-0003-2343-9932","affiliations":[{"raw_affiliation_string":"School of Electrical Engineering, Xi'an Jiaotong University, Xi'an, China","institution_ids":["https://openalex.org/I87445476"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009520037","display_name":"Yongmei Gan","orcid":"https://orcid.org/0000-0003-1277-0208"},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yongmei Gan","raw_affiliation_strings":["School of Electrical Engineering, Xi'an Jiaotong University, Xi'an, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electrical Engineering, Xi'an Jiaotong University, Xi'an, China","institution_ids":["https://openalex.org/I87445476"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014567387","display_name":"Guochun Xiao","orcid":"https://orcid.org/0000-0002-5187-8345"},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guochun Xiao","raw_affiliation_strings":["School of Electrical Engineering, Xi'an Jiaotong University, Xi'an, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electrical Engineering, Xi'an Jiaotong University, Xi'an, China","institution_ids":["https://openalex.org/I87445476"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018886883","display_name":"W.M. Wonham","orcid":"https://orcid.org/0000-0002-9918-4481"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"W.M. Wonham","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Toronto, Toronto, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Toronto, Toronto, Canada","institution_ids":["https://openalex.org/I185261750"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5009520037"],"corresponding_institution_ids":["https://openalex.org/I87445476"],"apc_list":null,"apc_paid":null,"fwci":3.9533,"has_fulltext":true,"cited_by_count":22,"citation_normalized_percentile":{"value":0.93961523,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"90","issue":"8","first_page":"1639","last_page":"1651"},"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.9991999864578247,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9937000274658203,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/arithmetic-underflow","display_name":"Arithmetic underflow","score":0.768709659576416},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5180537700653076},{"id":"https://openalex.org/keywords/modulo","display_name":"Modulo","score":0.48772677779197693},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.45860087871551514},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.457935094833374},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.44607287645339966},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.43030843138694763},{"id":"https://openalex.org/keywords/group","display_name":"Group (periodic table)","score":0.41480717062950134},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3992529511451721},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3682697117328644},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3580174446105957},{"id":"https://openalex.org/keywords/topology","display_name":"Topology (electrical circuits)","score":0.3291747570037842},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.27983367443084717},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.15934881567955017}],"concepts":[{"id":"https://openalex.org/C3265923","wikidata":"https://www.wikidata.org/wiki/Q669129","display_name":"Arithmetic underflow","level":2,"score":0.768709659576416},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5180537700653076},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.48772677779197693},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.45860087871551514},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.457935094833374},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.44607287645339966},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.43030843138694763},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.41480717062950134},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3992529511451721},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3682697117328644},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3580174446105957},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.3291747570037842},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.27983367443084717},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.15934881567955017},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0},{"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/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"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/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1080/00207179.2016.1216607","is_oa":false,"landing_page_url":"https://doi.org/10.1080/00207179.2016.1216607","pdf_url":null,"source":{"id":"https://openalex.org/S88061139","display_name":"International Journal of Control","issn_l":"0020-7179","issn":["0020-7179","1366-5820"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Control","raw_type":"journal-article"},{"id":"pmh:oai:utoronto.scholaris.ca:1807/76912","is_oa":true,"landing_page_url":"http://hdl.handle.net/1807/76912","pdf_url":"https://utoronto.scholaris.ca/bitstreams/588df70b-e852-40b5-b3c5-2ec8819019ed/download","source":{"id":"https://openalex.org/S7407055458","display_name":"TSpace","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"Article Post-Print"}],"best_oa_location":{"id":"pmh:oai:utoronto.scholaris.ca:1807/76912","is_oa":true,"landing_page_url":"http://hdl.handle.net/1807/76912","pdf_url":"https://utoronto.scholaris.ca/bitstreams/588df70b-e852-40b5-b3c5-2ec8819019ed/download","source":{"id":"https://openalex.org/S7407055458","display_name":"TSpace","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"Article Post-Print"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3912170535","display_name":null,"funder_award_id":"[2014]3026","funder_id":"https://openalex.org/F4320322725","funder_display_name":"China Scholarship Council"}],"funders":[{"id":"https://openalex.org/F4320322725","display_name":"China Scholarship Council","ror":"https://ror.org/04atp4p48"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2479050047.pdf","grobid_xml":"https://content.openalex.org/works/W2479050047.grobid-xml"},"referenced_works_count":29,"referenced_works":["https://openalex.org/W322937049","https://openalex.org/W1556970733","https://openalex.org/W1838689757","https://openalex.org/W1906305186","https://openalex.org/W1979349468","https://openalex.org/W2004141156","https://openalex.org/W2009442652","https://openalex.org/W2016380948","https://openalex.org/W2022708042","https://openalex.org/W2038266588","https://openalex.org/W2054801208","https://openalex.org/W2069208287","https://openalex.org/W2080267935","https://openalex.org/W2101178868","https://openalex.org/W2106810189","https://openalex.org/W2115425820","https://openalex.org/W2136509683","https://openalex.org/W2159923984","https://openalex.org/W2163358872","https://openalex.org/W2246713304","https://openalex.org/W2531875963","https://openalex.org/W2540877599","https://openalex.org/W2780167742","https://openalex.org/W2993285063","https://openalex.org/W4205452543","https://openalex.org/W4210821898","https://openalex.org/W4254742956","https://openalex.org/W4289256978","https://openalex.org/W4298779457"],"related_works":["https://openalex.org/W2360827329","https://openalex.org/W2525601710","https://openalex.org/W1582127952","https://openalex.org/W2384387548","https://openalex.org/W2064895942","https://openalex.org/W2566983087","https://openalex.org/W136078108","https://openalex.org/W2924573301","https://openalex.org/W1969070648","https://openalex.org/W2029745051"],"abstract_inverted_index":{"We":[0],"consider":[1],"discrete-event":[2],"systems":[3],"consisting":[4],"of":[5,8,20,39,60,69,73,81,91,118,141,145],"parallel":[6],"arrays":[7],"machines":[9,13,41],"and":[10,31,78],"buffers.":[11,85],"The":[12,155],"are":[14,153],"divided":[15],"into":[16],"groups":[17],"in":[18,42,83],"each":[19,76,92],"which":[21,138],"the":[22,40,56,61,63,67,70,79,84,88,100,105,116,119,129,142,150],"members":[23],"have":[24],"identical":[25,89],"structure,":[26],"i.e.":[27],"same":[28,130],"state":[29,77,106],"set":[30],"isomorphic":[32],"transitions.":[33],"This":[34],"feature":[35],"allows":[36],"event":[37],"relabelling":[38],"a":[43,47],"given":[44],"group":[45],"to":[46,54,109,115,128],"standard":[48],"prototype":[49],"machine.":[50],"In":[51],"these":[52],"systems,":[53],"avoid":[55],"underflow":[57],"or":[58],"overflow":[59],"buffers,":[62],"controller":[64],"needs":[65],"only":[66],"information":[68,98],"total":[71,143],"numbers":[72,80],"components":[74],"at":[75],"workpieces":[82],"By":[86],"exploiting":[87],"structure":[90],"group,":[93],"we":[94,121],"extract":[95],"such":[96],"control":[97,101,112,136],"from":[99],"functions":[102],"computed":[103],"by":[104,159],"tree":[107],"structures":[108],"generate":[110],"abstract":[111,135],"functions.":[113],"Thanks":[114],"symmetry":[117],"system,":[120],"show":[122],"that":[123],"all":[124],"controllable":[125],"events":[126],"relabelled":[127],"symbol":[131],"share":[132],"an":[133],"invariant":[134],"function,":[137],"is":[139,157],"independent":[140],"number":[144],"machines,":[146],"as":[147,149],"long":[148],"buffer":[151],"sizes":[152],"fixed.":[154],"approach":[156],"illustrated":[158],"two":[160],"examples.":[161]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}