{"id":"https://openalex.org/W2550419340","doi":"https://doi.org/10.1109/coase.2016.7743517","title":"Robust control of Backward Conflict Free Systems with Resources using Petri nets","display_name":"Robust control of Backward Conflict Free Systems with Resources using Petri nets","publication_year":2016,"publication_date":"2016-08-01","ids":{"openalex":"https://openalex.org/W2550419340","doi":"https://doi.org/10.1109/coase.2016.7743517","mag":"2550419340"},"language":"en","primary_location":{"id":"doi:10.1109/coase.2016.7743517","is_oa":false,"landing_page_url":"https://doi.org/10.1109/coase.2016.7743517","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE International Conference on Automation Science and Engineering (CASE)","raw_type":"proceedings-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/A5100721786","display_name":"Nan Du","orcid":"https://orcid.org/0000-0002-5226-2980"},"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":true,"raw_author_name":"Nan Du","raw_affiliation_strings":["School of Electro-Mechanical Engineering, Xidian University, Xian, Shaanxi, P. R. China"],"affiliations":[{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xian, Shaanxi, P. R. China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080332732","display_name":"Hesuan Hu","orcid":"https://orcid.org/0000-0002-8724-2058"},"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":"Hesuan Hu","raw_affiliation_strings":["College of Engineering, Nanyang Technological University, Singapore"],"affiliations":[{"raw_affiliation_string":"College of Engineering, Nanyang Technological University, Singapore","institution_ids":["https://openalex.org/I172675005"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5100721786"],"corresponding_institution_ids":["https://openalex.org/I149594827"],"apc_list":null,"apc_paid":null,"fwci":0.3485,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.68626424,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1034","last_page":"1041"},"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.9901999831199646,"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.9897000193595886,"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/petri-net","display_name":"Petri net","score":0.9122382402420044},{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.8118458986282349},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7290347814559937},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.7003263235092163},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.6801464557647705},{"id":"https://openalex.org/keywords/deadlock-prevention-algorithms","display_name":"Deadlock prevention algorithms","score":0.6746364831924438},{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.6619881391525269},{"id":"https://openalex.org/keywords/concurrency-control","display_name":"Concurrency control","score":0.6010377407073975},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.5828136205673218},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.5301462411880493},{"id":"https://openalex.org/keywords/block","display_name":"Block (permutation group theory)","score":0.4848285913467407},{"id":"https://openalex.org/keywords/delegation","display_name":"Delegation","score":0.47089794278144836},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.4506821036338806},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4411900043487549},{"id":"https://openalex.org/keywords/resource-allocation","display_name":"Resource allocation","score":0.4287901818752289},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.42714419960975647},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.3775942325592041},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.11448118090629578},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.09791195392608643},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.07494711875915527}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9122382402420044},{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.8118458986282349},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7290347814559937},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.7003263235092163},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.6801464557647705},{"id":"https://openalex.org/C113429609","wikidata":"https://www.wikidata.org/wiki/Q4060699","display_name":"Deadlock prevention algorithms","level":3,"score":0.6746364831924438},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.6619881391525269},{"id":"https://openalex.org/C84511453","wikidata":"https://www.wikidata.org/wiki/Q2914952","display_name":"Concurrency control","level":3,"score":0.6010377407073975},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.5828136205673218},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5301462411880493},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.4848285913467407},{"id":"https://openalex.org/C86532276","wikidata":"https://www.wikidata.org/wiki/Q1184065","display_name":"Delegation","level":2,"score":0.47089794278144836},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.4506821036338806},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4411900043487549},{"id":"https://openalex.org/C29202148","wikidata":"https://www.wikidata.org/wiki/Q287260","display_name":"Resource allocation","level":2,"score":0.4287901818752289},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.42714419960975647},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3775942325592041},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.11448118090629578},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.09791195392608643},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07494711875915527},{"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},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.0},{"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/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/coase.2016.7743517","is_oa":false,"landing_page_url":"https://doi.org/10.1109/coase.2016.7743517","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 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/8","display_name":"Decent work and economic growth","score":0.5}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1607887399","https://openalex.org/W1675649230","https://openalex.org/W2000922497","https://openalex.org/W2003872149","https://openalex.org/W2005581605","https://openalex.org/W2041795078","https://openalex.org/W2055799414","https://openalex.org/W2059057465","https://openalex.org/W2074182439","https://openalex.org/W2099550549","https://openalex.org/W2099584921","https://openalex.org/W2140872435","https://openalex.org/W2160493082","https://openalex.org/W4235423825","https://openalex.org/W6636469327","https://openalex.org/W6817046579"],"related_works":["https://openalex.org/W2050076411","https://openalex.org/W1542183432","https://openalex.org/W2001478969","https://openalex.org/W2360686363","https://openalex.org/W1867637656","https://openalex.org/W2329232208","https://openalex.org/W2340131066","https://openalex.org/W2358822739","https://openalex.org/W4231261802","https://openalex.org/W2361416822"],"abstract_inverted_index":{"There":[0],"are":[1,27],"a":[2,81,99,153,176],"plenty":[3],"of":[4,23,48,138,175],"deadlock-free":[5,83],"supervisory":[6,84],"control":[7,85],"algorithms":[8],"to":[9,40,62,87],"address":[10],"deadlock":[11],"problems":[12],"via":[13],"resource":[14,131],"allocation":[15],"in":[16,152,173],"automated":[17],"manufacturing":[18],"systems":[19,92],"(AMSs).":[20],"In":[21,75,96,163],"most":[22],"such":[24],"work,":[25,78],"prerequisites":[26],"assumed":[28],"that":[29,126],"allocated":[30],"resources":[31,61,124,144],"never":[32],"fail.":[33],"Apparently,":[34],"these":[35],"designs":[36],"do":[37,133],"not":[38,134,140],"conform":[39],"the":[41,136,164,170],"reality":[42],"completely.":[43],"An":[44],"AMS":[45],"is":[46,57,111,150],"composed":[47],"many":[49],"numerically-controlled":[50],"machines":[51],"interacting":[52],"with":[53,64,93,108],"each":[54],"other.":[55],"It":[56],"even":[58],"easier":[59],"for":[60,91],"fail":[63],"increasingly":[65],"complex":[66,101],"system":[67,171],"structures,":[68],"e.g.,":[69],"disassembly/assembly":[70],"operations":[71],"and":[72,116,155,158],"flexible":[73],"routes.":[74],"our":[76,119,166],"previous":[77],"we":[79],"develop":[80],"robust":[82,89,120],"policy":[86],"ensure":[88],"deadlock-freeness":[90],"simple":[94],"structures.":[95],"this":[97],"paper,":[98],"more":[100],"system,":[102],"i.e.,":[103],"Backward":[104],"Conflict":[105],"Free":[106],"Nets":[107],"Resources":[109],"(BCF-R),":[110],"proposed.":[112],"Through":[113],"dynamic":[114,156],"analysis":[115],"real-time":[117],"judgement,":[118],"supervisor":[121,167],"automatically":[122],"allocates":[123],"so":[125],"processes":[127],"stopped":[128],"by":[129],"unexpected":[130],"failures":[132],"block":[135],"production":[137],"parts":[139],"necessarily":[141],"requiring":[142],"failed":[143],"at":[145],"any":[146],"time.":[147],"The":[148],"approach":[149],"achieved":[151],"distributed":[154],"way":[157],"requires":[159],"no":[160],"state":[161],"enumeration.":[162],"meanwhile,":[165],"can":[168],"improve":[169],"performance":[172],"terms":[174],"higher":[177],"concurrency.":[178]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}