一种时延Petri网的死锁预防方法

Abstract

Abstract:

To solve the problem of deadlock prevention for timed Petri nets, an effective prevention policy based on siphons is proposed. Without enumerating the reachable markings, deadlock prevention is achieved and the final supervisor is live. First, a timed Petri net is stretched into an SPN. Without influence on the system performance, each transition in the SPN has a unit time delay. Then by ignoring the factor of delay time, the siphon-control-based approach is applied. Monitors based on the marking constraints are added to the plant model to ensure all strict minimal siphons in the net invariant-controlled. A liveness-enforcing supervisor with a simple structure can be realized by reverting the TPN.

Key words: flexible manufacturing systems, timed Petri nets, deadlock prevention

CLC Number:

TP278

References

［1］Murata T. Petri Nets: Properties, Analysis, and Applications ［J］. Proceedings of the IEEE, 1989, 77(4): 541-580.
［2］Salum L. Petri Nets and Time Modelling ［J］. Int J Adv Manuf Technol, 2008, 38(3-4): 377-382.
［3］Bowden F D J. A Brief Survey and Synthesis of the Roles of Time in Petri Nets ［J］. Mathematical and Computer Modeling, 2000, 31(10): 55-68.
［4］Wang J C. Timed Petri Nets: Theory and Application ［M］. Norwell: Kluwer Academic, 1998.
［5］Zhou M C, Venkatesh K. Modeling, Simulation, and Control of Flexible Manufacturing Systems: A Petri Net Approach ［M］. Singapore: Singapore World Scientific, 1999.
［6］Wang J C, Deng Y, Xu G. Reachability Analysis of Real-Time Systems Using Time Petri Nets ［J］, IEEE Trans on Syst Man and Cybern, 2000, 30(5): 725-736,
［7］Salum L. New Perspectives in Time (d) Petri Nets and their Analysis［C］//Proceedings of the 2003 IEEE Conference on Control Applications. Istanbul: IEEE, 2003:1041-1045.
［8］Salum L. Representing Time as a State in Petri Nets ［C］//Proceeding of the 2nd International Responsive Manufacturing. Gaziantep: Wikitedia Press, 2002: 955-960.
［9］Aybar A, Iftar A. Supervisory Controller Design for Timed Petri Nets ［C］//Proceedings of the 2006 IEEE/SMC International Conference on Systems Engineering. Los Angeles: IEEE, 2006: 59-64.
［10］Giua A, Seatzu C, Basile F. Observer-Based State-Feedback Control of Timed Petri Nets with Deadlock Recovery ［J］. IEEE Trans on Automatic Control, 2004, 49(1):17-29.
［11］Li Z W, Zhou M C. Elementary Siphons of Petri Nets and Their Application to Deadlock Prevention in Flexible Manufacturing Systems ［J］. IEEE Trans on Syst Man Cybern, 2004, 34(1): 38-51.
［12］Ezpeleta J, Colom J M, Martinez J. A Petri Net Based Deadlock Prevention Policy for Flexible Manufacturing Systems ［J］. IEEE Trans. on Robot Automat, 1995, 11(2): 173-184.
［13］Li Z W, Zhang X F. A Deadlock Prevention Approach Using Elementary Siphons for a Class of Petri Nets［C］//Proceedings of the 2004 IEEE International Conference on Systems, Man and Cybernetics: 2. Hague: IEEE, 2004: 1728-1733.
［14］Huang Y S, Jeng M D, Xie X L, et al. A Deadlock Prevention Policy for Flexible Manufacturing Systems Using Siphons［C］//Proc IEEE Int Conj Robot Automat. Seoul: IEEE, 2001: 541-546.
［15］Barkaoui K, Pradat-Peyre J F. On the Liveness and Controlled Siphons in Petri Nets［C］//Proc of 17th Int Conf Application and Theory of Petri Nets, LNCS. New York: Springer-Verlag,1996: 57-72.
［16］Abdallah I B, Elmaraghy H A. Deadlock Prevention and Avoidance in FMS: a Petri Net Based Approach［J］. Int J Adv Manuf Technol, 1998, 14(10): 704-715.
［17］Li Z W, Zhou M C. Clarifications on the Definitions of Elementary Siphons of Petri Nets ［J］. IEEE Trans on Syst Man Cybern, 2006, 36(6): 1227-1229.
［18］Li Z W, Zhou M C. Control of Elementary and Dependent Siphons in Petri Nets and Their Application ［J］. IEEE Trans on Syst Man Cybern, 2008, 38(1): 133-148.

[1]	WANG Qi;CHEN Xiaoliang. Algorithm for estimating confusion states of flexible manufacturing systems [J]. Journal of Xidian University, 2017, 44(2): 69-74.
[2]	YOU Dan;LIU Miao;WU Wenhui;WANG Shouguang. Method to compute the strict minimal siphon for S³PR [J]. J4, 2014, 41(4): 193-197+204.
[3]	YAN Ming-ming;LI Zhi-wu;ZHONG Chun-fu. Deadlock prevention policy for a class of petri nets S<sup>3</sup>PR [J]. J4, 2008, 35(2): 330-333.
[4]	ZHAO Mi; LI Zhi-wu. Non-blocking supervisory control of a modular class of discrete event systems [J]. J4, 2006, 33(5): 735-738.
[5]	HU He-suan;LI Zhi-wu;WANG An-rong. Application of the optimal set of elementary siphons in FMS for deadlock control [J]. J4, 2006, 33(4): 607-611.
[6]	LI Zhi-wu;XU Ping-jiang;ZHU Rong-ming;WANG Xing-ping. On simplified liveness-enforcing Petri net supervisors for FMS [J]. J4, 2006, 33(3): 442-447.
[7]	LI Zhi-wu;MA Xiong. A deadlock prevention policy for FMS using elementary siphons [J]. J4, 2006, 33(2): 262-267.
[8]	LI Zhi-wu;DING Wei;ZHU Rong-ming. A deadlock prevention policy for FMS using Petri nets in case of failures [J]. J4, 2005, 32(6): 833-838.

Deadlock prevention approach for a class of timed Petri nets

PDF (PC)

Like

Knowledge

Cited

Abstract

Cite this article

share this article

References

Related Articles 8

Metrics

Comments

Recommended 0