Petri网替换运算  

Substitution Operation of Petri Nets

作　　者：吴振寰[1] 吴哲辉[1] 

机构地区：[1]山东科技大学信息科学与工程学院,青岛266510

出　　处：《计算机科学》2005年第11期238-240,共3页Computer Science

基　　金：国家自然科学基金(项目号:60173053)

摘　　要：文中给出了Petri的替换运算定义,它是对分层模拟与逐步求精的Petri网建模思想方法的一个形式化描述。文中还通过Petri网语言讨论了Petri 网的替换运算同语言的替换运算之间的关系,结果表明,这两个从不同角度给出的替换运算在实质意义上是协调的。A definition of substitution operation for Petri nets is given in this paper. It is a formal description of the atepwise refinement method for the modeling of systems using Petri nets. The relationship between both substitution operations for Petri nets and for languages is all discussed. It shows that these two definitions are consistent.

关 键 词：PETRI网 替换运算 PETRI网语言 逐步求精 运算 形式化描述 思想方法 

分 类 号：TP301[自动化与计算机技术—计算机系统结构] O159[自动化与计算机技术—计算机科学与技术]