| 采用基本标识图的Petri网控制策略 |
| |
| 引用本文： | 马子玥,童音. 采用基本标识图的Petri网控制策略[J]. 西安电子科技大学学报(自然科学版), 2016, 43(6): 68-73. DOI: 10.3969/j.issn.1001-2400.2016.06.012 |
| |
| 作者姓名： | 马子玥 童音 |
| |
| 作者单位： | (西安电子科技大学 机电工程学院，陕西 西安 710071) |
| |
| 基金项目： | 国家自然科学基金资助项目(61374068, 61472295) |
| |
| 摘 要： | 提出了一种基于基本标识图的Petri网的在线监督控制策略．首先根据原Petri网的初始标识与变迁的可控性，建立基本标识图，通过求解整数规划将其中节点标记为合法或弱非法标识．之后基于标记的基本标识图对Petri网中的可控变迁进行在线控制，从而防止系统到达非法标识．该控制策略能够避免可达图的穷举计算，具有良好的效率．
|
| 关 键 词： | Petri网 监督控制 基本标识 |
| 收稿时间： | 2015-11-05 |
Supervisor synthesis in Petri nets based on basis marking graphs |
| |
| MA Ziyue,TONG Yin. Supervisor synthesis in Petri nets based on basis marking graphs[J]. Journal of Xidian University, 2016, 43(6): 68-73. DOI: 10.3969/j.issn.1001-2400.2016.06.012 |
| |
| Authors: | MA Ziyue TONG Yin |
| |
| Affiliation: | (School of Mechano-electronic Engineering, Xidian Univ., Xi'an 710071, China) |
| |
| 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. |
| |
| Keywords: | Petri net supervisory control basis marking |
|
| 点击此处可从《西安电子科技大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《西安电子科技大学学报(自然科学版)》下载全文 |
