Petri网的同步距离计算

摘要：

同步距离是刻画事件之间同步关系的一个重要的定量分析手段.本文提出了同步距离计算网SDCNet的概念模型并讨论了计算同步距离的几个结论,给出了S_元中初始标识的配置算法以及以此为基础计算同步距离的算法.分析表明该算法与可覆盖性树的生成算法具有相同的复杂性.

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

所属期刊栏目：32

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金60125205;国家科技攻关项目2002AA1Z2102A

在线出版日期：2006-02-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：138-141,154