Petri网的同步距离计算

被引：3

作者：

张金泉

倪丽娜

蒋昌俊

机构：

[1] 同济大学计算机科学与工程系

[2] 同济大学计算机科学与工程系上海山东科技大学信息科学与工程学院青岛

[3] 上海山东科技大学信息科学与工程学院青岛

来源：

关键词：

Petri 网; 同步距离; S 元; 同步距离计算网(SDCNet);

D O I：

暂无

中图分类号：

TP301.1 [自动机理论];

学科分类号：

081202 ;

摘要：

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

引用

页码：138 / 141+154 +154

页数：5