混杂Petri网系统中同步距离的确定及同步控制器的设计

目前,对于广义混杂Petri网的变迁公平关系和同步距离都只有极少结论,本文对广义混杂Petri网,给出了两个变迁(组)之间公平关系和同步距离的形式定义,并通过修剪的不变行为状态(invariant behavior,IB)演化图给出确定变迁同步距离的方法,得出了判定变迁公平关系的充要条件,还证明了变迁公平关系、同步距离和修剪的IB演化图之间的联系.本文的方法对简单离散Petri网不仅能得到已有的相关结论,而且推广了同步距离概念适用的范围.最后,以混杂运输控制系统为例,以同步距离为基础设计同步控制器,说明同步距离在实现同步控制结构设计上的有效性.