{"id":"https://openalex.org/W2042439992","doi":"https://doi.org/10.1109/coase.2014.6899364","title":"Simplifying supervisory controllers of automated manufacturing systems via Petri net modeling and multiset analysis","display_name":"Simplifying supervisory controllers of automated manufacturing systems via Petri net modeling and multiset analysis","publication_year":2014,"publication_date":"2014-08-01","ids":{"openalex":"https://openalex.org/W2042439992","doi":"https://doi.org/10.1109/coase.2014.6899364","mag":"2042439992"},"language":"en","primary_location":{"id":"doi:10.1109/coase.2014.6899364","is_oa":false,"landing_page_url":"https://doi.org/10.1109/coase.2014.6899364","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 IEEE International Conference on Automation Science and Engineering (CASE)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5080332732","display_name":"Hesuan Hu","orcid":"https://orcid.org/0000-0002-8724-2058"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]},{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["CN","SG"],"is_corresponding":false,"raw_author_name":"HeSuan Hu","raw_affiliation_strings":["College of Engineering, Nanyang Technological University, Singapore","School of Electro-mechanical Engineering, Xidian University, Shaanxi, P. R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Engineering, Nanyang Technological University, Singapore","institution_ids":["https://openalex.org/I172675005"]},{"raw_affiliation_string":"School of Electro-mechanical Engineering, Xidian University, Shaanxi, P. R. China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101892075","display_name":"Yan Yang","orcid":"https://orcid.org/0000-0001-8785-2692"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yan Yang","raw_affiliation_strings":["School of Electro-mechanical Engineering, Xidian University, Shaanxi, P. R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electro-mechanical Engineering, Xidian University, Shaanxi, P. R. China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100355692","display_name":"Yang Liu","orcid":"https://orcid.org/0000-0001-7300-9215"},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Yang Liu","raw_affiliation_strings":["College of Engineering, Nanyang Technological University, Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Engineering, Nanyang Technological University, Singapore","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100418343","display_name":"Chen Chen","orcid":"https://orcid.org/0000-0001-5295-7486"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chen Chen","raw_affiliation_strings":["School of Electro-mechanical Engineering, Xidian University, Shaanxi, P. R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electro-mechanical Engineering, Xidian University, Shaanxi, P. R. China","institution_ids":["https://openalex.org/I149594827"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12123894,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"38","issue":null,"first_page":"449","last_page":"454"},"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9900000095367432,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.9685519933700562},{"id":"https://openalex.org/keywords/multiset","display_name":"Multiset","score":0.8206706047058105},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.8199341297149658},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6474978923797607},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.6381412148475647},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6247845888137817},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6096230745315552},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4852604568004608},{"id":"https://openalex.org/keywords/simplicity","display_name":"Simplicity","score":0.4821055233478546},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.476845383644104},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3030783534049988},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.25638917088508606},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.25509804487228394},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.18875879049301147},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.08135923743247986}],"concepts":[{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.9685519933700562},{"id":"https://openalex.org/C2779623528","wikidata":"https://www.wikidata.org/wiki/Q864377","display_name":"Multiset","level":2,"score":0.8206706047058105},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8199341297149658},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6474978923797607},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.6381412148475647},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6247845888137817},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6096230745315552},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4852604568004608},{"id":"https://openalex.org/C2776372474","wikidata":"https://www.wikidata.org/wiki/Q508291","display_name":"Simplicity","level":2,"score":0.4821055233478546},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.476845383644104},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3030783534049988},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.25638917088508606},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.25509804487228394},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.18875879049301147},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.08135923743247986},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/coase.2014.6899364","is_oa":false,"landing_page_url":"https://doi.org/10.1109/coase.2014.6899364","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 IEEE International Conference on Automation Science and Engineering (CASE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.49000000953674316,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W2003872149","https://openalex.org/W2011521967","https://openalex.org/W2021486492","https://openalex.org/W2055799414","https://openalex.org/W2086689069","https://openalex.org/W2140444941","https://openalex.org/W2140872435","https://openalex.org/W2163839607","https://openalex.org/W2165406169","https://openalex.org/W6684219764"],"related_works":["https://openalex.org/W2165576794","https://openalex.org/W1536962364","https://openalex.org/W2333630979","https://openalex.org/W1502177156","https://openalex.org/W2325169597","https://openalex.org/W4309988904","https://openalex.org/W2331919730","https://openalex.org/W4317418604","https://openalex.org/W2070318121","https://openalex.org/W1964497242"],"abstract_inverted_index":{"This":[0,31],"paper":[1],"presents":[2],"new":[3],"results":[4],"on":[5],"structural":[6,118],"simplification":[7,17,52],"of":[8,26,73,79,86,101,117],"a":[9,12,55,87,93,102,130],"supervisor":[10,49,56,114],"in":[11,46,115,141],"Petri":[13],"net":[14],"framework.":[15],"Supervisor":[16],"is":[18,33,57,67,122,132],"essential":[19],"to":[20,64,69,110,124,134],"the":[21,36,47,77,84,99,112,126,136],"efficient":[22],"and":[23,51,61,91,95],"effective":[24],"functionality":[25],"an":[27,108],"automated":[28],"manufacturing":[29],"system.":[30],"work":[32,82],"motivated":[34],"by":[35],"fact":[37],"that":[38],"some":[39],"properties":[40],"have":[41],"not":[42],"been":[43],"thoroughly":[44],"explored":[45],"prior":[48],"design":[50],"studies.":[53],"If":[54],"structurally":[58],"simpler":[59],"than":[60],"behaviorally":[62],"analogous":[63],"another,":[65],"it":[66,106],"viewed":[68],"be":[70],"better":[71],"irrespective":[72],"its":[74],"composition.":[75],"In":[76],"semantics":[78],"multiset,":[80],"this":[81],"defines":[83],"concept":[85],"minimum":[88],"covering":[89],"set":[90],"derives":[92],"necessary":[94],"sufficient":[96],"condition":[97],"for":[98],"existence":[100],"simplest":[103],"supervisor.":[104],"Next,":[105],"develops":[107],"algorithm":[109],"compute":[111],"optimal":[113],"sense":[116],"simplicity.":[119],"An":[120],"example":[121],"provided":[123],"illustrate":[125],"proposed":[127,137],"algorithm.":[128],"Additionally,":[129],"discussion":[131],"conducted":[133],"distinguish":[135],"one":[138],"from":[139],"others":[140],"literature.":[142]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}