{"id":"https://openalex.org/W2004675751","doi":"https://doi.org/10.1145/2406336.2406338","title":"Design of Liveness-Enforcing Supervisors for S3PR Based on Complementary Places","display_name":"Design of Liveness-Enforcing Supervisors for S3PR Based on Complementary Places","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W2004675751","doi":"https://doi.org/10.1145/2406336.2406338","mag":"2004675751"},"language":"en","primary_location":{"id":"doi:10.1145/2406336.2406338","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2406336.2406338","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","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/A5033428699","display_name":"Shouguang Wang","orcid":"https://orcid.org/0000-0002-8998-0433"},"institutions":[{"id":"https://openalex.org/I75059550","display_name":"Zhejiang Gongshang University","ror":"https://ror.org/0569mkk41","country_code":"CN","type":"education","lineage":["https://openalex.org/I75059550"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Shouguang Wang","raw_affiliation_strings":["University of Zhejiang Gongshang"],"affiliations":[{"raw_affiliation_string":"University of Zhejiang Gongshang","institution_ids":["https://openalex.org/I75059550"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112129111","display_name":"Chengying Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I75059550","display_name":"Zhejiang Gongshang University","ror":"https://ror.org/0569mkk41","country_code":"CN","type":"education","lineage":["https://openalex.org/I75059550"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chengying Wang","raw_affiliation_strings":["University of Zhejiang Gongshang"],"affiliations":[{"raw_affiliation_string":"University of Zhejiang Gongshang","institution_ids":["https://openalex.org/I75059550"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100294871","display_name":"Yanping Yu","orcid":null},"institutions":[{"id":"https://openalex.org/I75059550","display_name":"Zhejiang Gongshang University","ror":"https://ror.org/0569mkk41","country_code":"CN","type":"education","lineage":["https://openalex.org/I75059550"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yanping Yu","raw_affiliation_strings":["University of Zhejiang Gongshang"],"affiliations":[{"raw_affiliation_string":"University of Zhejiang Gongshang","institution_ids":["https://openalex.org/I75059550"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5033428699"],"corresponding_institution_ids":["https://openalex.org/I75059550"],"apc_list":null,"apc_paid":null,"fwci":3.6254,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.92780678,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"12","issue":"1","first_page":"1","last_page":"18"},"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.9998000264167786,"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.9998000264167786,"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.9970999956130981,"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/T10142","display_name":"Formal Methods in Verification","score":0.9921000003814697,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.9315646290779114},{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.8542132377624512},{"id":"https://openalex.org/keywords/deadlock-prevention-algorithms","display_name":"Deadlock prevention algorithms","score":0.8304413557052612},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7839356660842896},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.718332827091217},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.672523021697998},{"id":"https://openalex.org/keywords/net","display_name":"Net (polyhedron)","score":0.5479814410209656},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4433339834213257},{"id":"https://openalex.org/keywords/integer-programming","display_name":"Integer programming","score":0.44267579913139343},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.41957178711891174},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.23379603028297424},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1337517499923706}],"concepts":[{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.9315646290779114},{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.8542132377624512},{"id":"https://openalex.org/C113429609","wikidata":"https://www.wikidata.org/wiki/Q4060699","display_name":"Deadlock prevention algorithms","level":3,"score":0.8304413557052612},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7839356660842896},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.718332827091217},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.672523021697998},{"id":"https://openalex.org/C14166107","wikidata":"https://www.wikidata.org/wiki/Q253829","display_name":"Net (polyhedron)","level":2,"score":0.5479814410209656},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4433339834213257},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.44267579913139343},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.41957178711891174},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.23379603028297424},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1337517499923706},{"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2406336.2406338","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2406336.2406338","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6000000238418579,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G1123533203","display_name":null,"funder_award_id":"6.11E+15","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2274474508","display_name":null,"funder_award_id":"ICT1235","funder_id":"https://openalex.org/F4320322927","funder_display_name":"Zhejiang University"},{"id":"https://openalex.org/G2927377268","display_name":null,"funder_award_id":"LY12F03020R13F030009","funder_id":"https://openalex.org/F4320338464","funder_display_name":"Natural Science Foundation of Zhejiang Province"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320322927","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884"},{"id":"https://openalex.org/F4320338464","display_name":"Natural Science Foundation of Zhejiang Province","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":54,"referenced_works":["https://openalex.org/W332683046","https://openalex.org/W614929447","https://openalex.org/W1490850339","https://openalex.org/W1978787137","https://openalex.org/W1996109622","https://openalex.org/W2001671625","https://openalex.org/W2017411056","https://openalex.org/W2023962548","https://openalex.org/W2030309123","https://openalex.org/W2036031969","https://openalex.org/W2049252484","https://openalex.org/W2051147456","https://openalex.org/W2053369452","https://openalex.org/W2053688063","https://openalex.org/W2076749410","https://openalex.org/W2081107221","https://openalex.org/W2085101251","https://openalex.org/W2097305928","https://openalex.org/W2098899007","https://openalex.org/W2099550549","https://openalex.org/W2099584921","https://openalex.org/W2104367108","https://openalex.org/W2105435021","https://openalex.org/W2106247749","https://openalex.org/W2108678912","https://openalex.org/W2110169180","https://openalex.org/W2110808353","https://openalex.org/W2112963513","https://openalex.org/W2113127049","https://openalex.org/W2113418311","https://openalex.org/W2122471000","https://openalex.org/W2124901174","https://openalex.org/W2126163520","https://openalex.org/W2128130994","https://openalex.org/W2129686603","https://openalex.org/W2135624536","https://openalex.org/W2140872435","https://openalex.org/W2146738006","https://openalex.org/W2147281200","https://openalex.org/W2149110313","https://openalex.org/W2152371928","https://openalex.org/W2157572995","https://openalex.org/W2158941847","https://openalex.org/W2160376434","https://openalex.org/W2163839607","https://openalex.org/W2165406169","https://openalex.org/W2165594843","https://openalex.org/W2172300075","https://openalex.org/W2310250136","https://openalex.org/W2310793150","https://openalex.org/W2374531480","https://openalex.org/W2387482908","https://openalex.org/W2623660146","https://openalex.org/W3146406790"],"related_works":["https://openalex.org/W2114605129","https://openalex.org/W2003616898","https://openalex.org/W2377270835","https://openalex.org/W4300661306","https://openalex.org/W2146855929","https://openalex.org/W2345843372","https://openalex.org/W2004675751","https://openalex.org/W4319317766","https://openalex.org/W4285229139","https://openalex.org/W2129170313"],"abstract_inverted_index":{"In":[0],"this":[1],"article,":[2],"an":[3,45,79],"algorithm":[4],"is":[5,36,58,71,95,125,140,171],"proposed":[6,176],"to":[7,38,64,73,90,97,127,173],"design":[8,135],"liveness-enforcing":[9],"supervisors":[10],"for":[11,129],"systems":[12,168],"of":[13,136],"simple":[14],"sequential":[15],"processes":[16],"with":[17,101,118,156,178],"resources":[18],"(S":[19],"3":[20],"PR)":[21],"based":[22,32],"on":[23,85],"complementary":[24,88],"places.":[25],"Firstly,":[26],"a":[27,87,106,137,152],"mixed":[28],"integer":[29],"programming":[30],"(MIP)":[31],"deadlock":[33,103,114],"detection":[34],"method":[35],"used":[37,72,172],"find":[39],"unmarked":[40,98],"strict":[41],"minimal":[42],"siphons":[43],"from":[44,105],"infinite-capacity":[46,66,80],"net.":[47,67,81],"Next,":[48],"the":[49,65,75,102,113,119,122,147,161,175],"finite-capacity":[50,76],"net,":[51],"in":[52,144],"which":[53],"liveness":[54],"can":[55,150],"be":[56],"enforced,":[57],"obtained":[59],"by":[60],"adding":[61,86],"capacity":[62],"function":[63],"Finally,":[68,143],"complementary-place":[69,138],"transformation":[70],"transform":[74],"net":[77],"into":[78],"This":[82],"article":[83],"focuses":[84],"place":[89,93],"each":[91],"operation":[92],"that":[94],"related":[96],"siphons,":[99],"deals":[100],"problem":[104],"new":[107,123,148],"view":[108],"point,":[109],"and":[110],"hence":[111],"advances":[112],"control":[115],"theory.":[116],"Compared":[117],"existing":[120,162],"methods,":[121],"policy":[124,149,177],"easier":[126],"implement":[128],"real":[130],"industrial":[131],"systems.":[132],"More":[133],"importantly,":[134],"supervisor":[139,155],"very":[141],"easy.":[142],"some":[145,179],"cases,":[146],"obtain":[151],"structurally":[153],"simpler":[154],"more":[157],"permissive":[158],"behavior":[159],"than":[160],"methods":[163],"do.":[164],"A":[165],"flexible":[166],"manufacturing":[167],"(FMS)":[169],"example":[170],"compare":[174],"other":[180],"methods.":[181]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":6},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}