点发序列问题的控制策略
The Control Strategy for the Firing Sequence Problem
-
摘要: 在离散事件系统的Petri网模型下,讨论是否存在控制策略使得仅有希望的序列使 能,而又保持事件的并发性的问题.证明了存在这种策略的必要充分条件是给定的目标序 列集是可控的.在目标序列集不可控而所考虑的序列集都是Petri网点发序列集时,提出了 综合给定序列集的极大可控子序列集生成器的方法.Abstract: In this paper we use Petri nets to model a discrete event system, and discuss whether or not there exists a control strategy by which only the specified target firing sequences can be enabled. It is proved that a necessary and sufficient condition for the existence of such strategy is that the set of the specified target firing sequences are controllable. For the case where the firing sequence sets involved are Petri net firing sequence sets we present a method for synthesizing a control strategy by which the closed loop system can generate the supremal controllable subset of a given firing sequence set.
-
Key words:
- Firing sequence problem /
- Petri net /
- control strategy
计量
- 文章访问数: 2076
- HTML全文浏览量: 56
- PDF下载量: 916
- 被引次数: 0