一种改进型的S<sup>4</sup>PR网活性条件

傅健丰; 董利达; 徐姗姗; 朱丹; 朱承丞

doi:10.3724/SP.J.1004.2013.01439

一种改进型的S⁴PR网活性条件

doi: 10.3724/SP.J.1004.2013.01439

1.
浙江大学信息与电子工程学系电子电路与信息系统研究所杭州 310027;
2.
杭州师范大学杭州国际服务工程学院杭州 310012

基金项目:

国家自然科学基金 (61071062); 浙江省自然科学基金 (Y12F02030) 资助

详细信息

作者简介:
傅健丰分别于2009年和2012年获浙江大学学士学位和硕士学位.主要研究方向为S⁴PR网的活性条件及其控制器设计. E-mail:moworld@126.com

计量
- 文章访问数: 1665
- HTML全文浏览量: 93
- PDF下载量: 1074
- 被引次数: 0
出版历程
- 收稿日期: 2012-03-30
- 修回日期: 2012-10-25
- 刊出日期: 2013-09-20

An Improved Liveness Condition for S⁴PR Nets

1.
Institute of Electronic Circuit and Information System, Department of Information Science and Electronic Engineering, Zhejiang University, Hangzhou 310027;
2.
Hangzhou Institute of Service Engineering, Hangzhou Normal University, Hangzhou 310012

Funds:

Supported by National Natural Science Foundation of China (61071062) and Provincial Natural Science Foundation of Zhejiang (Y12F02030)

摘要

摘要: 研究了顺序资源共享分配系统的建模模型S4PR (Systems of sequential systems with shared resources)网的活性问题. 已有的研究成果表明, 一个S4PR网在所有信标都满足max, max'或max"-controlled 时能保持活性, 但现有的活性条件对信标的限制严格且不适用于某些网系统, 本文提出了一类名为max*-controlled的改进型条件, 并证明了当一个S4PR网的所有信标都满足max*-controlled条件时, 网系统能保持活性. 与现有的其他条件相比, 新的活性条件更加宽松, 为设计更高允许度的死锁预防或者活性保持监控器提供了理论支撑.
- Petri网 /
- S4PR网 /
- 活性条件 /
- 信标
Abstract: This paper studies the liveness problem for S4PR (systems of sequential systems with shared resources) nets, a class of Petri net models of flexible manufacturing systems. Current research indicates that an S4PR net is live if all its siphons are max, max', or max"-controlled. However, these conditions tend to be overly restrictive and are not available to some net systems. This paper presents an improved condition called max*-controlled condition and proves that an S4PR net is live if all its siphons are max*-controlled. Compared with the preceding ones, this new condition is more general and can be a theoretical support for designing deadlock prevention or liveness-enforcing supervisor which is more permissive on system behavior.
- Petri net /
- S4PR net /
- liveness condition /
- siphon

HTML全文

参考文献(19)

[1]	Fanti M P, Zhou M. Deadlock control methods in automated manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, 2004, 34(1): 5-22
[2]	Huang Y S, Pan Y L. Enhancement of an efficient liveness-enforcing supervisor for flexible manufacture systems. The International Journal of Advanced Manufacturing Technology, 2010, 48(5-8): 725-737
[3]	Chao D Y. Minimal strict siphons extraction for S3PMR. Journal of the Chinese Institute of Engineers, 2010, 33(7): 995-1004
[4]	Hu H S, Li Z W. Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons. Journal of Intelligent Manufacturing, 2010, 21(4): 555-567
[5]	Li Z W, Zhou M C. Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. New York: Springer, 2009
[6]	Ezpeleta J, Colom J M, Martinez J. A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation, 1995, 11(2): 173-184
[7]	Li Z, Zhang J, Zhao M. Liveness-enforcing supervisor design for a class of generalised Petri net models of flexible manufacturing systems. IET Control Theory and Applications, 2007, 1(4): 955-967
[8]	Park J, Reveliotis S A. Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Transactions on Automatic Control, 2001, 46(10): 1572-1583
[9]	Abdallah I B, Elmaraghy H A. Deadlock prevention and avoidance in FMS: a Petri net based approach. The International Journal of Advanced Manufacturing Technology, 1998, 14(10): 704-715
[10]	Chao D Y. Max'-controlled siphons for liveness of S3PGR2. IET Control Theory and Applications, 2007, 1(4): 933-936
[11]	Liu G, Li Z, Zhong C. New controllability condition for siphons in a class of generalised Petri nets. IET Control Theory and Applications, 2010, 4(5): 854-864
[12]	Murata T. Petri nets: properties, analysis and applications. Proceedings of the IEEE, 1989, 77(4): 541-580
[13]	Zhong C F, Li Z W. Self-liveness of a class of Petri net models for flexible manufacturing systems. IET Control Theory and Applications, 2010, 4(3): 403-410
[14]	Zhong C F, Li Z W. A deadlock prevention approach for flexible manufacturing systems without complete siphon enumeration of their Petri net models. Engineering with Computers, 2009, 25(3): 269-278
[15]	Li Z W, Zhou M C, Wu N Q. A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews, 2008, 38(2): 173-188
[16]	Zhao M, Hou Y F, Liu D. Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming. International Journal of Control, 2010, 83(10): 2053-2066
[17]	Zhao M, Li Z W, Hu H S. Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming. International Journal of Systems Science, 2010, 41(9): 1013-1026
[18]	Shih Y Y, Chao D Y, Chiu C C. A new MIP test for S3PGR2. In: Proceedings of the 16th ISPE International Conference on Concurrent Engineering. New York: Springer, 2009. 41-52
[19]	Liu G, Li Z. General mixed integer programming-based liveness test for system of sequential systems with shared resources nets. IET Control Theory and Applications, 2010, 4(12): 2867-2878