离散事件系统的受控Petri网模型中的冲突控制

Control of Conflicts in Controlled Petri Nets Model for Discrete Event Systems

本文研究了以受控Ｐｅｔｒｉ网为模型的一类离散事件系统的冲突控制问题，提出了一种综合冲突控制的方法．该方法首先把冲突问题转化为禁止状态问题，然后通过解决禁止状态的控制问题实现受控Ｐｅｔｒｉ网中的冲突控制．文中还给出了求解控制的有效算法．

This paper studies the problem of conflict controls that arises in a comtrolled Petri net model for a class of discrete event systems. We propose a new method to synthesize controls for conflicts.With this method,the conflict problem is first transformed into a forbidden state problem,and then through the resolution of the control problem of the forbidden state,the conflict controls in controlled Petri nets are achieved.Also,an efficient algorithim for the synthesis of conflict controls is presented.