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

Synchronization distance determination and synchronization controller design for hybrid Petri nets

作　　者：方欢[1,2] 陆阳[1] 黄镇谨[1] 杨娟[1] 

机构地区：[1]合肥工业大学计算机与信息学院,安徽合肥230009 [2]安徽理工大学理学院,安徽淮南232001

出　　处：《控制理论与应用》2012年第7期884-892,共9页Control Theory & Applications

基　　金：国家自然科学基金资助项目(60873195;61070220);高等学校博士点基金资助项目(20090111110002)

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

关 键 词：广义混杂Petri网 变迁公平关系 同步距离 同步控制器 性质判定 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构] TP13[自动化与计算机技术—计算机科学与技术]