%0 Journal Article
%T petri网替换运算
%A 吴振寰 吴哲辉？
%J 计算机科学
%D 2005
%X 文中给出了petri的替换运算定义，它是对分层模拟与逐步求精的petfi网建模思想方法的一个形式化描述。文中还通过petri网语言讨论了petri网的替换运算同语言的替换运算之间的关系，结果表明，这两个从不同角度给出的替换运算在实质意义上是协调的。
%K petri网替换运算petri网语言逐步求精运算形式化描述思想方法
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=20607139&flag=1