西安电子科技大学学报

• 研究论文 • 上一篇    下一篇

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

马子玥;童音   

  1. (西安电子科技大学 机电工程学院,陕西 西安 710071)
  • 收稿日期:2015-11-05 出版日期:2016-12-20 发布日期:2017-01-19
  • 作者简介:马子玥(1984-),男,博士,E-mail:maziyue@gmail.com.
  • 基金资助:

    国家自然科学基金资助项目(61374068, 61472295)

Supervisor synthesis in Petri nets based on basis marking graphs

MA Ziyue;TONG Yin   

  1. (School of Mechano-electronic Engineering, Xidian Univ., Xi'an 710071, China)
  • Received:2015-11-05 Online:2016-12-20 Published:2017-01-19

摘要:

提出了一种基于基本标识图的Petri网的在线监督控制策略.首先根据原Petri网的初始标识与变迁的可控性,建立基本标识图,通过求解整数规划将其中节点标记为合法或弱非法标识.之后基于标记的基本标识图对Petri网中的可控变迁进行在线控制,从而防止系统到达非法标识.该控制策略能够避免可达图的穷举计算,具有良好的效率.

关键词: Petri网, 监督控制, 基本标识

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