[{"_1":2,"_3":-5,"_4":-5},"loaderData",{"_5":6,"_7":8,"_9":10},"actionData","errors","root",{"_281":282},"routes/_layout",{"_11":201},"routes/entity.$type.$id",{"_11":12,"_13":14,"_15":16,"_17":18,"_19":20,"_21":22,"_23":24,"_25":26,"_27":28},"dehydratedState",{"_73":74,"_75":76},"type","paper","id","paper_W2099584921","section","technologies","entity",{"_15":16,"_29":30,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":38,"_39":-5,"_40":41,"_42":43,"_44":45,"_46":47,"_48":-5,"_49":50,"_51":30,"_52":53,"_54":55,"_56":57,"_58":59,"_60":61,"_62":-5,"_63":64,"_65":-5,"_66":67,"_68":30,"_69":-5},"canonical","https://www.hugmap.com/entity/paper/paper_W2099584921/technologies","siteBaseUrl","https://www.hugmap.com","sectionCount",2,"jsonLd","{\"@context\":\"https://schema.org\",\"@graph\":[{\"name\":\"Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems\",\"url\":\"https://www.hugmap.com/entity/paper/paper_W2099584921/technologies\",\"@type\":\"ScholarlyArticle\",\"headline\":\"Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems\",\"datePublished\":\"2006-10-30\",\"isPartOf\":{\"@type\":\"Periodical\",\"name\":\"IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans\"}},{\"@type\":\"CollectionPage\",\"name\":\"Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems 相关技术\",\"description\":\"Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems 在 HugMap 中的相关技术，共 2 条，含结构化关联信息与详情链接。\",\"url\":\"https://www.hugmap.com/entity/paper/paper_W2099584921/technologies\",\"inLanguage\":\"zh-CN\"},{\"@type\":\"BreadcrumbList\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"首页\",\"item\":\"https://www.hugmap.com/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"论文\",\"item\":\"https://www.hugmap.com/search?type=paper\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems\",\"item\":\"https://www.hugmap.com/entity/paper/paper_W2099584921\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"相关技术\",\"item\":\"https://www.hugmap.com/entity/paper/paper_W2099584921/technologies\"}]}]}","name","Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems","nameZh","aliases","description","descriptionZh","status","active","externalIds","{\"openalex\":\"W2099584921\",\"doi\":\"10.1109/tsmca.2006.878953\"}","properties","source","openalex","createdAt","2026-05-23T09:38:41.470770937","updatedAt","2026-05-23T09:38:41.47077268","doi","10.1109/tsmca.2006.878953","arxivId","openalexId","W2099584921","title","abstractText","A siphon-based algorithm for deadlock prevention of a type of Petri nets called $hboxS^3hboxPMR$ , which is a subclass of $hboxS^3hboxPGR^2$ , is presented in this correspondence. The proposed method is an iterative approach by adding two kinds of control places called ordinary control (OC) places and weighted control (WC) places to the original model to prevent siphons from being unmarked. An OC place with ordinary arcs, which optimally prevent a siphon from becoming unmarked, is employed whenever it is possible, and otherwise, the WC places that adopt a conservative policy of controlling the release of parts into the system are used. Furthermore, this algorithm is not only for the subclass Petri nets but also for $hboxS^3hboxPR$ , $hboxES^3hboxPR$ , $hboxS^2hboxLSPR$ , and $hboxS^3hboxPGR^2$ nets. The authors prove the liveness and reversibility of the controlled net, and hence establish the correctness of the deadlock prevention policy. Finally, numerical experiments indicate that the proposed policy appears to be more permissive than closely related approaches in the literature.","publishedDate","2006-10-30","publishedYear",2006,"venue","IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans","citationCount",218,"authors","keywords",[70,71,72],"pdfUrl","topVenue",false,"displayName","displayDescription","Petri Nets in System Modeling","Formal Methods in Verification","Real-Time Systems Scheduling","mutations",[],"queries",[77],{"_78":79,"_80":81,"_82":83,"_84":85},"dehydratedAt",1780767002676,"state",{"_87":88,"_89":90,"_91":79,"_92":-5,"_93":94,"_95":94,"_96":94,"_97":-5,"_98":-5,"_99":67,"_35":100,"_101":102},"queryKey",[86,19,14,16],"queryHash","[\"portal\",\"entity\",\"paper\",\"paper_W2099584921\"]","portal","data",{"_19":20,"_103":104,"_105":106,"_107":108,"_109":110,"_18":111,"_62":112},"dataUpdateCount",1,"dataUpdatedAt","error","errorUpdateCount",0,"errorUpdatedAt","fetchFailureCount","fetchFailureReason","fetchMeta","isInvalidated","success","fetchStatus","idle","entityType","Paper","taxonomies",[169,170,171],"events",[],"articles",[],[148,149],[113,114,115,116],{"_15":143,"_29":144,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":145,"_39":-5,"_40":41,"_42":146,"_44":147,"_122":-5,"_51":-5,"_124":-5,"_125":-5,"_126":-5,"_60":-5,"_127":-5,"_128":-5,"_129":-5,"_130":-5,"_131":-5,"_68":144,"_69":-5},{"_15":137,"_29":138,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":139,"_39":-5,"_40":41,"_42":140,"_44":141,"_122":142,"_51":-5,"_124":-5,"_125":-5,"_126":-5,"_60":-5,"_127":-5,"_128":-5,"_129":-5,"_130":-5,"_131":-5,"_68":138,"_69":-5},{"_15":132,"_29":133,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":134,"_39":-5,"_40":41,"_42":135,"_44":136,"_122":-5,"_51":-5,"_124":-5,"_125":-5,"_126":-5,"_60":-5,"_127":-5,"_128":-5,"_129":-5,"_130":-5,"_131":-5,"_68":133,"_69":-5},{"_15":117,"_29":118,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":119,"_39":-5,"_40":41,"_42":120,"_44":121,"_122":123,"_51":-5,"_124":-5,"_125":-5,"_126":-5,"_60":-5,"_127":-5,"_128":-5,"_129":-5,"_130":-5,"_131":-5,"_68":118,"_69":-5},"person_A5101535096","Yi‐Sheng Huang","{\"openalex\":\"A5101535096\",\"orcid\":\"0000-0001-8800-322X\"}","2026-05-21T03:02:18.176635245","2026-05-23T09:38:41.477638148","orcid","0000-0001-8800-322X","affiliation","researchArea","paperCount","homepage","linkedin","twitter","github","hindex","person_A5109966337","Mu Der Jeng","{\"openalex\":\"A5109966337\"}","2026-05-23T09:38:42.177994601","2026-05-23T09:38:42.177996766","person_A5044117021","Xiaolan Xie","{\"openalex\":\"A5044117021\",\"orcid\":\"0000-0002-6579-1523\"}","2026-05-16T12:52:03.180191373","2026-05-23T09:38:42.19164585","0000-0002-6579-1523","person_A5103782729","Dick Chung","{\"openalex\":\"A5103782729\"}","2026-05-23T09:38:43.176241536","2026-05-23T09:38:43.176243423",{"_15":164,"_29":71,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":165,"_39":-5,"_40":152,"_42":166,"_44":167,"_155":168,"_157":158,"_159":-5,"_160":161,"_162":-5,"_126":-5,"_163":-5,"_68":71,"_69":-5},{"_15":150,"_29":70,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":151,"_39":-5,"_40":152,"_42":153,"_44":154,"_155":156,"_157":158,"_159":-5,"_160":161,"_162":-5,"_126":-5,"_163":-5,"_68":70,"_69":-5},"tech_oa_T11125","{\"taxonomy_id\":\"tax_rd_T11125\"}","openalex_topics","2026-05-17T09:00:27.335319078","2026-05-17T09:00:27.335321392","techType","concept","domain","Physical Sciences","proposedYear","maturityLevel","growing","wikipediaUrl","patentCount","tech_oa_T10142","{\"taxonomy_id\":\"tax_rd_T10142\"}","2026-05-17T09:00:28.245609031","2026-05-17T09:00:28.245611253","algorithm",{"_15":196,"_29":70,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":197,"_39":-5,"_40":41,"_42":198,"_44":199,"_176":177,"_178":-5,"_179":180,"_181":194,"_183":200,"_185":94,"_186":187,"_188":94,"_189":-5,"_68":70,"_69":-5},{"_15":190,"_29":71,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":191,"_39":-5,"_40":41,"_42":192,"_44":193,"_176":177,"_178":-5,"_179":180,"_181":194,"_183":195,"_185":94,"_186":187,"_188":94,"_189":-5,"_68":71,"_69":-5},{"_15":172,"_29":72,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":173,"_39":-5,"_40":41,"_42":174,"_44":175,"_176":177,"_178":-5,"_179":180,"_181":182,"_183":184,"_185":94,"_186":187,"_188":94,"_189":-5,"_68":72,"_69":-5},"tax_rd_T10933","{\"openalex_topic\":\"T10933\"}","2026-05-14T00:52:57.409644925","2026-05-23T12:37:59.217317104","taxonomyType","RESEARCH_DOMAIN","code","level",3,"parentId","tax_rd_1708","path","Physical Sciences/Computer Science/Hardware and Architecture/Real-Time Systems Scheduling","sortOrder","isLeaf",true,"entityCount","children","tax_rd_T10142","{\"openalex_topic\":\"T10142\"}","2026-05-14T00:50:08.327876348","2026-05-23T12:37:30.260212058","tax_rd_1703","Physical Sciences/Computer Science/Computational Theory and Mathematics/Formal Methods in Verification","tax_rd_T11125","{\"openalex_topic\":\"T11125\"}","2026-05-14T00:50:08.303635622","2026-05-23T12:25:48.370910686","Physical Sciences/Computer Science/Computational Theory and Mathematics/Petri Nets in System Modeling",{"_73":202,"_75":203},[],[204],{"_78":205,"_80":206,"_82":207,"_84":208},1780767001903,{"_87":210,"_89":90,"_91":205,"_92":-5,"_93":94,"_95":94,"_96":94,"_97":-5,"_98":-5,"_99":67,"_35":100,"_101":102},[86,209],"[\"portal\",\"industries\"]","industries",[211,212,213,214,215,216,217,218,219,220,221,222],{"_15":274,"_29":275,"_31":-5,"_32":276,"_33":277,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":226,"_42":-5,"_44":-5,"_176":227,"_178":-5,"_179":90,"_181":228,"_183":278,"_185":94,"_186":67,"_188":94,"_189":-5,"_68":275,"_69":277},{"_15":270,"_29":271,"_31":-5,"_32":-5,"_33":272,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":226,"_42":-5,"_44":-5,"_176":227,"_178":-5,"_179":90,"_181":228,"_183":273,"_185":94,"_186":67,"_188":94,"_189":-5,"_68":271,"_69":272},{"_15":264,"_29":265,"_31":-5,"_32":266,"_33":267,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":226,"_42":-5,"_44":-5,"_176":227,"_178":-5,"_179":90,"_181":228,"_183":268,"_185":94,"_186":67,"_188":94,"_189":-5,"_68":265,"_69":267},{"_15":260,"_29":261,"_31":-5,"_32":-5,"_33":262,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":226,"_42":-5,"_44":-5,"_176":227,"_178":-5,"_179":90,"_181":228,"_183":263,"_185":94,"_186":67,"_188":94,"_189":-5,"_68":261,"_69":262},{"_15":256,"_29":257,"_31":-5,"_32":-5,"_33":258,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":226,"_42":-5,"_44":-5,"_176":227,"_178":-5,"_179":90,"_181":228,"_183":259,"_185":94,"_186":67,"_188":94,"_189":-5,"_68":257,"_69":258},{"_15":250,"_29":251,"_31":-5,"_32":252,"_33":253,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":226,"_42":-5,"_44":-5,"_176":227,"_178":-5,"_179":90,"_181":228,"_183":254,"_185":94,"_186":67,"_188":94,"_189":-5,"_68":251,"_69":253},{"_15":246,"_29":247,"_31":-5,"_32":-5,"_33":248,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":226,"_42":-5,"_44":-5,"_176":227,"_178":-5,"_179":90,"_181":228,"_183":249,"_185":94,"_186":187,"_188":94,"_189":-5,"_68":247,"_69":248},{"_15":242,"_29":243,"_31":-5,"_32":-5,"_33":244,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":226,"_42":-5,"_44":-5,"_176":227,"_178":-5,"_179":90,"_181":228,"_183":245,"_185":94,"_186":67,"_188":94,"_189":-5,"_68":243,"_69":244},{"_15":238,"_29":239,"_31":-5,"_32":-5,"_33":240,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":226,"_42":-5,"_44":-5,"_176":227,"_178":-5,"_179":90,"_181":228,"_183":241,"_185":94,"_186":67,"_188":94,"_189":-5,"_68":239,"_69":240},{"_15":234,"_29":235,"_31":-5,"_32":-5,"_33":236,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":226,"_42":-5,"_44":-5,"_176":227,"_178":-5,"_179":90,"_181":228,"_183":237,"_185":94,"_186":67,"_188":94,"_189":-5,"_68":235,"_69":236},{"_15":230,"_29":231,"_31":-5,"_32":-5,"_33":232,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":226,"_42":-5,"_44":-5,"_176":227,"_178":-5,"_179":90,"_181":228,"_183":233,"_185":94,"_186":67,"_188":94,"_189":-5,"_68":231,"_69":232},{"_15":223,"_29":224,"_31":-5,"_32":-5,"_33":225,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":226,"_42":-5,"_44":-5,"_176":227,"_178":-5,"_179":90,"_181":228,"_183":229,"_185":94,"_186":67,"_188":94,"_189":-5,"_68":224,"_69":225},"tax_ind_smartphone","智能手机","Smartphone","manual","INDUSTRY","tax_ind_root","科技行业/智能手机","tax_ind_robot","机器人","Robotics","科技行业/机器人","tax_ind_wearable","智能穿戴","Smart Wearables","科技行业/智能穿戴","tax_ind_energy","新能源与智能制造","New Energy & Smart Manufacturing","科技行业/新能源与智能制造","tax_ind_biotech","生物科技","Biotech","科技行业/生物科技","tax_ind_quantum","量子计算","Quantum Computing","科技行业/量子计算","tax_ind_blockchain","区块链",[255],"Blockchain","科技行业/区块链","Web3","tax_ind_enterprise","企业软件","Enterprise Software","科技行业/企业软件","tax_ind_security","网络安全","Cybersecurity","科技行业/网络安全","tax_ind_semi","半导体",[269],"Semiconductor","科技行业/半导体","芯片","tax_ind_cloud","云计算","Cloud Computing","科技行业/云计算","tax_ind_ai","人工智能",[279,280],"Artificial Intelligence","科技行业/人工智能","AI","AI 技术","env",{"_283":24},"SITE_BASE_URL"]

Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems 论文

Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems · 相关技术

相关技术