全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...

petri网替换运算

Keywords: petri网替换运算petri网语言逐步求精运算形式化描述思想方法

Full-Text   Cite this paper   Add to My Lib

Abstract:

文中给出了petri的替换运算定义,它是对分层模拟与逐步求精的petfi网建模思想方法的一个形式化描述。文中还通过petri网语言讨论了petri网的替换运算同语言的替换运算之间的关系,结果表明,这两个从不同角度给出的替换运算在实质意义上是协调的。

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133