| Petri网替换运算 |
| |
| 引用本文： | 吴振寰 吴哲辉. Petri网替换运算[J]. 计算机科学, 2005, 32(11): 238-240 |
| |
| 作者姓名： | 吴振寰 吴哲辉 |
| |
| 作者单位： | 山东科技大学信息科学与工程学院,青岛,266510;山东科技大学信息科学与工程学院,青岛,266510 |
| |
| 基金项目： | 国家自然科学基金资助课题（项目号：60173053）. |
| |
| 摘 要： | 文中给出了Petri的替换运算定义，它是对分层模拟与逐步求精的Petfi网建模思想方法的一个形式化描述。文中还通过Petri网语言讨论了Petri网的替换运算同语言的替换运算之间的关系，结果表明，这两个从不同角度给出的替换运算在实质意义上是协调的。
|
| 关 键 词： | Petri网 替换运算 Petri网语言 逐步求精 |
Substitution Operation of Petri Nets |
| |
| WU Zhen-Huan,WU Zhe-Hui (CISE,SDUST,Qingdao. Substitution Operation of Petri Nets[J]. Computer Science, 2005, 32(11): 238-240 |
| |
| Authors: | WU Zhen-Huan WU Zhe-Hui (CISE SDUST Qingdao |
| |
| Affiliation: | CISE, SDUST, Qingdao 266510 |
| |
| Abstract: | |
| |
| Keywords: | Petri net Substitution operation Petri net language Stepwise refinement |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
