Petri网的同步距离计算  

An Algorithm of Computing Synchronic Distance in Petri Nets

作　　者：张金泉[1] 倪丽娜[1] 蒋昌俊[1] 

机构地区：[1]同济大学计算机科学与工程系

出　　处：《计算机科学》2005年第12期138-141,154,共5页Computer Science

基　　金：国家杰出青年基金(No.60125205);国家863计划项目(2002AA1Z2102A)

摘　　要：同步距离是刻画事件之间同步关系的一个重要的定量分析手段。本文提出了同步距离计算网SDCNet的概念模型并讨论了计算同步距离的几个结论,给出了S_元中初始标识的配置算法以及以此为基础计算同步距离的算法。分析表明该算法与可覆盖性树的生成算法具有相同的复杂性。The synchronic distance is an important analyzing metric to describe the synchronic relationship between two events. The concept model SDCNet （synchronic distance computing net） is presented and some conclusions of computing synchronic distance are discussed. The algorithm of setting initial markings in S-elements is given and that of computing synchronic distance basing on the first algorithm is also presented. The analysis shows that the algorithms have the same complexity as that of constructing coverability tree.

关 键 词：PETRI网 同步距离 S_元 同步距离计算网(SDCNet) 

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