Citations (32)
Keep up to date with the latest research on this topic with citation updates for this article.
Read on this site (3)
Daniel
Yuh Chao. (2012) A new optimal control policy for a well-known S3PR (systems of simple sequential processes with resources). International Journal of Production Research 50:22, pages 6259-6271.
Read now
Read now
Shaoyong Li & Zhiwu Li. (2012) Solving siphons with the minimal cardinality in Petri nets and its applications to deadlock control. International Journal of Production Research 50:22, pages 6203-6218.
Read now
Read now
Shao
Yong Li, Zhi
Wu Li & He
Suan Hu. (2011) Siphon extraction for deadlock control in flexible manufacturing systems by using Petri nets. International Journal of Computer Integrated Manufacturing 24:8, pages 710-725.
Read now
Read now
Articles from other publishers (29)
Yanxiang Feng, Keyi Xing, Huixia Liu & Yunchao Wu. (2019) Two-stage design method of robust deadlock control for automated manufacturing systems with a type of unreliable resources. Information Sciences 484, pages 286-301.
Crossref
Crossref
P. Cazenave, M. Khlif-Bouassida & A. Toguyeni. (2019) Collisions avoidance and deadlocks prevention, for dynamic routing of trains in a railway node. Collisions avoidance and deadlocks prevention, for dynamic routing of trains in a railway node.
MengDi Gan, ShouGuang Wang, ZhiJun Ding, MengChu Zhou & Wenhui Wu. (2018)
An Improved Mixed-Integer Programming Method to Compute Emptiable Minimal Siphons in S
3
PR Nets
. IEEE Transactions on Control Systems Technology 26:6, pages 2135-2140.
Crossref
Crossref
Dan You, ShouGuang Wang & MengChu Zhou. (2017) Computation of strict minimal siphons in a class of Petri nets based on problem decomposition. Information Sciences 409-410, pages 87-100.
Crossref
Crossref
YiFan Hou & Kamel Barkaoui. (2017) Deadlock analysis and control based on Petri nets: A siphon approach review. Advances in Mechanical Engineering 9:5, pages 168781401769354.
Crossref
Crossref
Manuel Silva. (2016) Individuals, populations and fluid approximations: A Petri net based perspective. Nonlinear Analysis: Hybrid Systems 22, pages 72-97.
Crossref
Crossref
GaiYun Liu & Kamel Barkaoui. (2016) A survey of siphons in Petri nets. Information Sciences 363, pages 198-220.
Crossref
Crossref
Johannes K. Chiang & Kiekang Chao. (2016) Development of Critical-Siphon Theory to Fastest Deadlock Controller for Flexible Manufacturing Systems and Computer-Integrated Manufacturing. MATEC Web of Conferences 54, pages 03001.
Crossref
Crossref
Liang Hong, YiFan Hou, JunFeng Jing, AnRong Wang & Dmitry A. Litvin. (2015) Deadlock Prevention Policy with Behavioral Optimality or Suboptimality Achieved by the Redundancy Identification of Constraints and the Rearrangement of Monitors. Discrete Dynamics in Nature and Society 2015, pages 1-15.
Crossref
Crossref
ShouGuang Wang, MengChu Zhou & WenHui Wu. (2015) Design of a Maximally Permissive Liveness-enforcing Supervisor with Reduced Complexity for Automated Manufacturing Systems. Asian Journal of Control 17:1, pages 190-201.
Crossref
Crossref
Dong Lida, Zhu Dan, Zhu Chengcheng & Xu Shanshan. (2014)
Region minimised monitor design for deadlock‐prevention of S
4
PR nets
. IET Control Theory & Applications 8:13, pages 1224-1237.
Crossref
Crossref
Qiaoli Zhuang & Wenzhan Dai. (2014) A Fast Method for Extracting all Minimal Siphons from Maximal Unmarked Siphons of a Petri Net. Journal of Software 9:3.
Crossref
Crossref
Shao Yong Li, Ai Min An, Ying Wang, Gang Wang, Cai Qin Hou & Ying Cai. (2012) Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons. Journal of Intelligent Manufacturing 24:6, pages 1157-1173.
Crossref
Crossref
Murat Uzam, Rabiu Saleh Zakariyya, ZhiWu Li & Gokhan Gelen. (2013) The computation of liveness enforcing supervisors from submodels of a Petri net model of FMSs. The computation of liveness enforcing supervisors from submodels of a Petri net model of FMSs.
Daniel Yuh Chao. 2013. Formal Methods in Manufacturing Systems. Formal Methods in Manufacturing Systems
269
295
.
Zhiming Zhang & Weimin Wu. (2013) Sequence Control of Essential Siphons for Deadlock Prevention in Petri Nets. ACM Transactions on Embedded Computing Systems 12:1, pages 1-22.
Crossref
Crossref
Ding Liu, Zhiwu Li & Mengchu Zhou. (2013) Hybrid Liveness-Enforcing Policy for Generalized Petri Net Models of Flexible Manufacturing Systems. IEEE Transactions on Systems, Man, and Cybernetics: Systems 43:1, pages 85-97.
Crossref
Crossref
Johannes K. Chiang & Daniel Yuh Chao. (2012) Application of Critical-Siphon Theory to Fastest Deadlock Controller for a Class of Flexible Manufacturing Systems. Advanced Materials Research 605-607, pages 1679-1682.
Crossref
Crossref
ZhiWu Li, NaiQi Wu & MengChu Zhou. (2012) Deadlock Control of Automated Manufacturing Systems Based on Petri Nets—A Literature Review. IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews) 42:4, pages 437-462.
Crossref
Crossref
S. G. Wang, Y. Li, C. Y. Wang & M. C. Zhou. (2012) Computation of all minimal siphons in Petri nets. Computation of all minimal siphons in Petri nets.
Shaoyong Li, Zhiwu Li, Hesuan Hu, Abdulrahman Al-Ahmari & Aimin An. (2012) An extraction algorithm for a set of elementary siphons based on mixed-integer programming. Journal of Systems Science and Systems Engineering 21:1, pages 106-125.
Crossref
Crossref
ShouGuang Wang, ChengYing Wang & MengChu Zhou. (2011) Optimal siphon-based deadlock prevention policy for a class of Petri nets in automation. Optimal siphon-based deadlock prevention policy for a class of Petri nets in automation.
ShouGuang Wang, MengChu Zhou & ChengYing Wang. (2011) Extracting all minimal siphons from maximal unmarked siphons in manufacturing-oriented Petri nets. Extracting all minimal siphons from maximal unmarked siphons in manufacturing-oriented Petri nets.
G. Liu & Z. Li. (2010) General mixed integer programming-based liveness test for system of sequential systems with shared resources nets. IET Control Theory & Applications 4:12, pages 2867-2878.
Crossref
Crossref
Mi Zhao, Ding Liu & Yifan Hou. (2010) Non-blocking supervisors synthesis for a class of discrete event systems based on two-stage deadlock control. Non-blocking supervisors synthesis for a class of discrete event systems based on two-stage deadlock control.
ZhiWu Li, Sen Zhu & MengChu Zhou. (2009) A Divide-and-Conquer Strategy to Deadlock Prevention in Flexible Manufacturing Systems. IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews) 39:2, pages 156-169.
Crossref
Crossref
Z. Li & M. Shpitalni. (2009) Smart deadlock prevention policy for flexible manufacturing systems using Petri nets. IET Control Theory & Applications 3:3, pages 362-374.
Crossref
Crossref
ZhiWu Li & MengChu Zhou. (2008) Control of Elementary and Dependent Siphons in Petri Nets and Their Application. IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans 38:1, pages 133-148.
Crossref
Crossref
M. Zhou, Z. Li & M. Uzam. (2007) Deadlock control policy for a class of petri nets without complete siphon enumeration. IET Control Theory & Applications 1:6, pages 1594-1605.
Crossref
Crossref