| 安全Petri网位置不变式的一种生成算法 |
| |
| 引用本文： | 刘亮,叶新铭.安全Petri网位置不变式的一种生成算法[J].内蒙古大学学报(自然科学版),2005,36(1):94-99. |
| |
| 作者姓名： | 刘亮 叶新铭 |
| |
| 作者单位： | 内蒙古大学计算机学院,呼和浩特,010021 |
| |
| 基金项目： | 国家自然科学基金项目(60263002)，内蒙古科技攻关项目(2002061002) |
| |
| 摘 要： | Petri网是一种系统设计和分析的有用工具,在系统测试中有着广泛的应用.利用安全Petri网的特点,提出一种由安全Petri网可达树和带自环的m阶完全图来计算位置不变式的生成算法.
|
| 关 键 词： | 安全Petri网 可达树 位置不变式 完全图 |
| 文章编号： | 1000-1638(2005)01-0094-06 |
| 修稿时间： | 2004年8月17日 |
A Generation Algorithm of Place Invariants of Safe Petri Nets |
| |
| LIU Liang,YE Xin-ming.A Generation Algorithm of Place Invariants of Safe Petri Nets[J].Acta Scientiarum Naturalium Universitatis Neimongol,2005,36(1):94-99. |
| |
| Authors: | LIU Liang YE Xin-ming |
| |
| Abstract: | Petri nets is a useful tool for system analysis and design,and it is widely used in system test.By using of the characters of safe Petri nets,a place invariant generation algorithm which uses the reachability tree of safe Petri nets and complete graph of mth order with self-loop is presented. |
| |
| Keywords: | safe Petri nets reachability tree place invariants complete graph |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
