10.3969/j.issn.1002-137X.2005.11.065
Petri网替换运算
文中给出了Petri的替换运算定义,它是对分层模拟与逐步求精的Petri网建模思想方法的一个形式化描述.文中还通过Petri网语言讨论了Petri网的替换运算同语言的替换运算之间的关系,结果表明,这两个从不同角度给出的替换运算在实质意义上是协调的.
Petri网、替换运算、Petri网语言、逐步求精
32
TP3(计算技术、计算机技术)
中国科学院资助项目60173053
2005-12-15(万方平台首次上网日期,不代表论文的发表时间)
共3页
238-240