Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons-Reference-Cited by-同舟云学术

Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons

Published:2012-05-06 Issue:6 Volume:24 Page:1157-1173
ISSN:0956-5515
Container-title:Journal of Intelligent Manufacturing
language:en
Short-container-title:J Intell Manuf

Author:

Li Shao Yong,An Ai Min,Wang Ying,Wang Gang,Hou Cai Qin,Cai Ying

Publisher

Springer Science and Business Media LLC

Subject

Artificial Intelligence,Industrial and Manufacturing Engineering,Software

Link

http://link.springer.com/content/pdf/10.1007/s10845-012-0647-4.pdf

Reference53 articles.

1. Abdallah I. B., Elmaraghy H. A. (1998) Deadlock prevention and avoidance in FMS: A Petri net based approach. International Journal of Advanced Manufacturing Technology 14(10): 704–715

2. Bae H. Y., Choi L., Park T. J., Ryu K. R. (2011) Comparison of operations of AGVs and ALVs in an automated container terminal. Journal of Intelligent Manufacturing 22(3): 413–426

3. Barkaoui, K., & Peyre, J. F. (1996). On liveness and controlled siphons in Petri nets. Proceedings of the 17th International Conference on Application and Theory of Petri Nets (pp. 57–72). Osaka, Japan.

4. Burdett R. L., Kozan E. (2008) Analysing the performance of an automated pathology specimen handling system. Journal of Intelligent Manufacturing 19(2): 175–189

5. Chao D. Y. (2006) Computation of elementary siphons for deadlock control. The Computer Journal 49(4): 470–479

Cited by 19 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A product-process-resource based formal modelling framework for customized manufacturing in cyber-physical production systems;International Journal of Computer Integrated Manufacturing;2022-01-31

2. A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets;International Journal of Systems Science;2020-04-03

3. Robust deadlock avoidance control for AMSs with assembly operations embedded in flexible routes using Petri nets;IET Control Theory & Applications;2019-05-17

4. Control Algorithm Using a Revised MIP Method to Deal with Livelocks in S4R of Petri Nets;Journal of Shanghai Jiaotong University (Science);2019-04

5. Petri Nets and Deadlock-Free Scheduling of Open Shop Manufacturing Systems;IEEE Transactions on Systems, Man, and Cybernetics: Systems;2018-06