大型Petri网模型最小trap(siphon)集合的快速求解算法  

Efficient algorithm for computing minimum trap(siphon) set in large scale Petri net models

作　　者：廖晶静[1] 王明哲[1] 倪枫[1] 郭法滨[1] 

机构地区：[1]华中科技大学控制科学与工程系,湖北武汉430074

出　　处：《系统工程与电子技术》2010年第8期1766-1770,共5页Systems Engineering and Electronics

基　　金：国家自然科学基金(60874068)资助课题

摘　　要：为了快速确定大型Petri网模型中的trap(siphon)逻辑结构,提出一种由Petri网关联矩阵寻找最小trap和siphon集合的有效算法。通过分析Petri网中trap和siphon集合对应的库所子集在关联矩阵中的特征,根据变迁的输入输出库所组合规则和目的,提出一种二元操作算子,由此构造计算最小trap和siphon集合的矩阵求解算法,以实例详细阐述了算法的具体步骤。通过与已有求解方法的比较,进一步验证了该算法在求解大型Petri网系统最小trap(siphon)集合上的计算速度优势。It is important for using a quick way to get the logical structure of traps（siphons） in large complex Petri net models.Therefore,an efficient fast algorithm based on the incidence matrix is presented.After analyzing the characters of trap（siphon） structures in the incidence matrix of Petri nets,a binary operation operator following the rules of composing each input and output place pair is proposed.And then,the incidence matrix algorithm of computing the minimum trap（siphon） sets is brought forward.The algorithm is used to compute the minimum traps-siphon set for one example,and for comparison,it is exemplified that the matrix algorithm is much efficient,particularly for large scale Petri net models.

关 键 词：PETRI网 最小trap和siphon 关联矩阵 trap组合 

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