采用基本标识图的Petri网控制策略

doi:10.3969/j.issn.1001-2400.2016.06.012

Abstract

Abstract:

This paper proposes a method to design an online controller based on basis marking graphs for Petri nets. According to the initial marking and the controllability of transitions, a basis marking graph is first computed whose nodes are marked as legal or weakly illegal by solving integer programming problems. Based on the marked basis reachability graph, an online transition disabling rule is computed on-time to prevent the system from reaching illegal markings by firing uncontrollable transitions. This control strategy has a high efficiency since the full enumeration of the reachability graph is avoided.

Key words: Petri net, supervisory control, basis marking

MA Ziyue;TONG Yin. Supervisor synthesis in Petri nets based on basis marking graphs[J].Journal of Xidian University, 2016, 43(6): 68-73.

References

［1］ RAMADGE P J G, WONHAM W M. The Control of Discrete Event Systems ［J］. Proceedings of IEEE, 1989, 77(1): 81-98.
［2］ LI Z W, ZHOU M C. Elementary Siphons of Petri Nets and Their Application to Deadlock Prevention in Flexible Manufacturing Systems［J］. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, 2004, 34(1): 38-51.
［3］ LI Z W, ZHOU M C, WU N Q. A Survey and Comparison of Petri Net-based Deadlock Prevention Policies for Flexible Manufacturing Systems ［J］. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews, 2008, 38(2): 173-188.
［4］ LI Z W, WU N Q, ZHOU M C. Deadlock Control of Automated Manufacturing Systems Based on Petri Nets—a Literature Review ［J］. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews, 2012, 42(4): 437-462.
［5］张秀艳, 钟春富, 贾建援. S³PR网的可达标识集算法［J］. 西安电子科技大学学报, 2015, 42(5): 105-109.
ZHANG Xiuyan, ZHONG Chunfu, JIA Jianyuan. Method to Compute the Reachability Set of S³PR ［J］. Journal of Xidian University, 2015, 42(5): 105-109.
［6］ GIUA A, DICESARE F, SILVA M. Generalized Mutual Exclusion Constraints on Nets with Uncontrollable Transitions ［C］//Conference Proceedings-IEEE International Conference on Systems, Man and Cybernetics. Piscataway: IEEE, 1992: 974-979.
［7］ 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-476.
［8］ BASILE F, CORDONE R, PIRODDI L. A Branch and Bound Approach for the Design of Decentralized Supervisors in Petri Net Models ［J］. Automatica, 2015, 52(2): 322-333.
［9］ LUO J L, SHAO H, NONAMI K, et al. Maximally Permissive Supervisor Synthesis Based on a New Constraint Transformation Method ［J］. Automatica, 2012, 48(6):1097-1101.
［10］ MA Z Y, LI Z W, GIUA A. Comments on “Maximally Permissive Supervisor Synthesis Based on a New Constraint Transformation Method” ［J］. Automatica, 2015, 51(1): 131-134.
［11］陈晓亮, 蒋忠远, 叶剑虹. 工作流网的混或检测和预防策略［J］. 西安电子科技大学学报, 2015, 42(2): 77-83.
CHEN Xiaoliang, JIANG Zhongyuan, YE Jianhong. Confusion Detection and Prevention Policies for Workflow Nets ［J］. Journal of Xidian University, 2015, 42(2): 77-83.
［12］ MA Z Y, LI Z W, GIUA A. Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints ［J］. IEEE Transactions on Automatic Control, 2015, 60(7): 1774-1785.
［13］ GHAFFARI A, REZG N, XIE X L. Design of a Live and Maximally Permissive Petri Net Controller Using the Theory of Regions ［J］. IEEE Transactions on Robotics and Automation, 2003, 19(1): 137-142.
［14］陈玉峰, 李志武. 安全Petri网事件分离状态的BDD算法［J］. 西安电子科技大学学报, 2010, 37(1): 119-124.
CHEN Yufeng, LI Zhiwu. Computation of Marking/Transition Separation Instances for Safe Petri Nets Using BDD ［J］. Journal of Xidian University, 2010, 37(1): 119-124.
［15］ CABASINO M P, GIUA A, SEATZU C. Fault Detection for Discrete Event Systems Using Petri Nets with Unobservable Transitions ［J］. Automatica, 2010, 46(9): 1531-1539.
［16］ CABASINO M P, HADJICOSTIS C N, SEATZU C. Probabilistic Marking Estimation in Labeled Petri Nets ［J］. IEEE Transactions on Automatic Control, 2015, 60(2): 528-533.

[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]	ZHANG Li;ZHAO Liangxu;WANG Shouguang;WANG Chengying. Optimal linear constraint transformation method for α-nets [J]. J4, 2015, 42(5): 183-187+212.
[5]	CHEN Xiaoliang;JIANG Zhongyuan;YE Jianhong . Confusion detection and prevention policies for workflow nets [J]. J4, 2015, 42(2): 77-83.
[6]	ZHU Chengcheng;DONG Lida. Concurrency bug test for a class of multithreaded software [J]. J4, 2015, 42(2): 167-173+212.
[7]	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.
[8]	HONG Liang. On efficient estimation of reachable markings for S³PR [J]. J4, 2014, 41(3): 169-173.
[9]	LI Ye;WANG Yinghui;YU Zhenhua. Formal modeling of cyber-physical systems using object-oriented Petri nets [J]. J4, 2014, 41(2): 165-171.
[10]	WANG Qi;WANG Anrong;PU Xuqiang. Computation of special markings of Petri nets of manufacturing systems [J]. J4, 2013, 40(6): 85-91.
[11]	ZHANG Man;DUAN Zhenhua. Synthesis rules of WF-nets and their application in process design [J]. J4, 2012, 39(2): 200-206.
[12]	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.
[13]	. Deadlock prevention approach for a class of timed Petri nets [J]. J4, 2009, 36(5): 902-908.
[14]	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.
[15]	WANG An-rong;LI Zhi-wu. Effective algorithm for obtaining a set of elementary siphons [J]. J4, 2008, 35(4): 632-638.

Supervisor synthesis in Petri nets based on basis marking graphs

PDF (PC)

Like

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Metrics

Comments

Recommended 10