摘要
文中给出了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.
出处
《计算机科学》
CSCD
北大核心
2005年第11期238-240,共3页
Computer Science
基金
国家自然科学基金(项目号:60173053)
