针对α网的最优线性约束转换方法

doi:10.3969/j.issn.1001-2400.2015.05.030

Abstract

Abstract:

For a class of Petri nets whose uncontrollable subnets are α-nets, this paper proposes a method to transform a given generalized mutual exclusion constraint into an optimal admissible one. Firstly, the uncontrollable subnets are obtained. Secondly, an algorithm for synthesizing the transformed sets of forbidden places is proposed. Lastly, according to the sets of forbidden places, the disjunction of admissible linear constraints which is maximally permissive is constructed. An example is provided to illustrate the efficiency of the proposed method.

Key words: Petri nets, discrete event systems, forbidden states, uncontrolled transitions

CLC Number:

TP391

ZHANG Li;ZHAO Liangxu;WANG Shouguang;WANG Chengying. Optimal linear constraint transformation method for α-nets[J].J4, 2015, 42(5): 183-187+212.

References

［1］ Yamalidou E, Moody J O, Antsaklis P J, et al. Feedback Control of Petri Nets Based on Place Invariants ［J］. Automatica, 1996, 32(1): 15-28.
［2］ Moody J O, Antsaklis P J. Petri Net Supervisors for DES with Uncontrollable and Unobservable Transitions ［J］ IEEE Transactions on Automatic Control, 2000, 45(3): 462-467.
［3］ Moody J O, Antsaklis P J. Supervisory Control of Discrete Event Systems Using Petri Nets ［M］. New Jersey: Kluwer Academic Publishers, 1998.
［4］ Moody J O, Antsaklis P J, Lemmon M. Feedback Petri Net Control Design in the Presence of Uncontrollable Transition ［C］ //Proceedings of the IEEE 34th Conference on Decision and Control. Piscataway: IEEE,1995: 905-906.
［5］ Basile F, Carbone C, Chiacchio P. Feedback Control Logic for Backward Conflict Free Choice Nets ［J］. IEEE Transactions on Automatic Control, 2007, 52(3): 387-400.
［6］ Basile F, Chiacchio P, Giua A. Suboptimal Supervisory Control of Petri Nets in Presence of Uncontrollable Transitions via Monitor Places ［J］. Automatica, 2006, 42(6): 995-1004.
［7］ Luo J L, Wu W M, Su H Y, et al. Supervisor Synthesis for Enforcing a Class of Generalized Mutual Exclusion Constraints on Petri Nets ［J］. IEEE Transactions on Systems, Man, and Cybernetics-Part A Systems and Humans, 2009, 39(6): 1237-1246.
［8］ Wang S, Wang C, Zhou M. Design of Optimal Monitor-based Supervisors for a Class of Petri Nets with Uncontrollable Transitions ［J］. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2013, 43(5): 1248-1255.
［9］ Luo J, Nonami K, Jin F. Maximally Permissive Supervisor Synthesis Based on a New Constraint Transformation Method ［J］. Automatica, 2012, 48(6): 1097-1101.
［10］ Luo J, Nonami K. Approach for Transforming on Linear Constraints on Petri Nets ［J］. IEEE Transactions on Automatic Control, 2011, 56(11): 2751-2765.
［11］ Wang S, Wang C, Yu Y. Comments on “Siphon-based Deadlock Prevention Policy for Flexible Manufacturing Systems” ［J］. IEEE Transactions on Systems, Man, and Cybernetics-Part A Systems and Humans, 2011, 41(2): 338-340.
［12］ Wang S, Wang C, Zhou M. Controllability Conditions of Resultant Siphons in a Class of Petri Nets ［J］ IEEE Transactions on Systems, Man, and Cybernetics-Part A Systems and Humans, 2012, 42(5): 1206-1215.
［13］ Basile F, Cordone R, Piroddi L. Compact Supervisors for General Constraint Enforcement in Petri Net Models with Uncontrollable Transitions ［C］//European Control Conference. Piscataway: IEEE, 2013: 143-148.
［14］王安荣, 李志武. 基本信标计算的一种快速算法［J］. 西安电子科技大学学报, 2008, 35(4): 632-638.
Wang Anrong, Li Zhiwu. Effective Algorithm for Obtaining a Set of Elementary Siphons［J］. Journal of Xidian University, 2008, 35(4): 632-638.

[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]	JIANG Zhongyuan;ZHANG Xiuyan;MA Ziyue. Capacity optimization for power storage systems in smart grids [J]. J4, 2015, 42(6): 106-112.
[3]	ZHANG Xiuyan;ZHONG Chunfu;JIA Jianyuan. Method to compute the reachability set of S³PR [J]. J4, 2015, 42(5): 105-109.
[4]	CHEN Xiaoliang;JIANG Zhongyuan;YE Jianhong . Confusion detection and prevention policies for workflow nets [J]. J4, 2015, 42(2): 77-83.
[5]	ZHU Chengcheng;DONG Lida. Concurrency bug test for a class of multithreaded software [J]. J4, 2015, 42(2): 167-173+212.
[6]	LI Ye;WANG Yinghui;YU Zhenhua. Formal modeling of cyber-physical systems using object-oriented Petri nets [J]. J4, 2014, 41(2): 165-171.
[7]	WANG Qi;WANG Anrong;PU Xuqiang. Computation of special markings of Petri nets of manufacturing systems [J]. J4, 2013, 40(6): 85-91.
[8]	CHEN Yu-feng;LI Zhi-wu. Computation of marking/transition separation instances for safe Petri nets using BDD [J]. J4, 2010, 37(1): 119-124+141.
[9]	. Deadlock prevention approach for a class of timed Petri nets [J]. J4, 2009, 36(5): 902-908.
[10]	ZHU Sen;LI Zhi-wu. On the colored Petri net model of the C³I system of the double aircraft carriers group [J]. J4, 2009, 36(4): 661-668.
[11]	WANG An-rong;DUAN Jiang-tao;LI Zhi-wu;JIA Jian-yuan. On the forbidden state avoidance of resource allocation systems [J]. J4, 2005, 32(5): 742-747.
[12]	MA Yu-xiang;LI Yuan-jun;LIU Yan-ming. A modeling and verification method for ingtelligent networks services with Petri nets [J]. J4, 2004, 31(2): 194-198.
[13]	LI Zhi-wu;WANG An-rong;JIA Jian-yuan. Methods for solving invariants and state equations for Petri nets [J]. J4, 2003, 30(2): 259-263.

Optimal linear constraint transformation method for α-nets

PDF (PC)

Like

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 13

Metrics

Comments

Recommended 10