| Petri网的同步距离计算 |
| |
| 引用本文： | 张金泉,倪丽娜,蒋昌俊. Petri网的同步距离计算[J]. 计算机科学, 2005, 32(12): 138-141 |
| |
| 作者姓名： | 张金泉 倪丽娜 蒋昌俊 |
| |
| 作者单位： | 同济大学计算机科学与工程系,上海,200092;山东科技大学信息科学与工程学院,青岛,266510 |
| |
| 基金项目： | 国家杰出青年基金（No.60125205）,国家863计划项目（2002AAlZ2102A）资助. |
| |
| 摘 要： | 同步距离是刻画事件之间同步关系的一个重要的定量分析手段。本文提出了同步距离计算网SDCNet的概念模型并讨论了计算同步距离的几个结论,给出了S_元中初始标识的配置算法以及以此为基础计算同步距离的算法。分析表明该算法与可覆盖性树的生成算法具有相同的复杂性。
|
| 关 键 词： | Petri网 同步距离 S_元 同步距离计算网(SDCNet) |
An Algorithm of Computing Synchronic Distance in Petri Nets |
| |
| ZHANG Jin-Quan,NI Li-Na,JIANG Chang-Jun. An Algorithm of Computing Synchronic Distance in Petri Nets[J]. Computer Science, 2005, 32(12): 138-141 |
| |
| Authors: | ZHANG Jin-Quan NI Li-Na JIANG Chang-Jun |
| |
| Abstract: | 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 compu- ting 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. |
| |
| Keywords: | Petri net Synchronic distance S-element Synchronic distance computing net(SDCNet) |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
