|
|||||
|
|
| Petri网的同步距离计算 | |
| 作者姓名： | 张金泉 倪丽娜 蒋昌俊 |
| 作者单位： | 同济大学计算机科学与工程系,上海,200092;山东科技大学信息科学与工程学院,青岛,266510 |
| 基金项目： | 国家杰出青年基金（No.60125205）,国家863计划项目（2002AAlZ2102A）资助. |
| 摘 要： | 同步距离是刻画事件之间同步关系的一个重要的定量分析手段。本文提出了同步距离计算网SDCNet的概念模型并讨论了计算同步距离的几个结论,给出了S_元中初始标识的配置算法以及以此为基础计算同步距离的算法。分析表明该算法与可覆盖性树的生成算法具有相同的复杂性。 |
| 关 键 词： | Petri网 同步距离 S_元 同步距离计算网(SDCNet) |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |