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

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

Synchronization distance determination and synchronization controller design for hybrid Petri nets

There are rare conclusions so far in studies of transition fairness and synchronization distance for general hybrid Petri nets. On the basis of the definition of general hybrid Petri nets, we formally define the transition fairness and the synchronization distance, and propose the method for determining the synchronization distance by using the pruned invariant behavior (IB) evolution graph. Sufficient and necessary conditions for fairness determination are developed, and the relationships among the fairness, synchronization and pruned IB evolution graph are confirmed. The proposed method not only gives existing results in simple Petri nets, but also extends the application scope in the determination of the synchronization distance. A synchronization controller is designed on the basis of the synchronization distance for a hybrid transportation control system, the performance of which demonstrates the valid application of the synchronization distance to the realization of the synchronization control