Petri网替换运算

计算机科学 ›› 2005, Vol. 32 ›› Issue (11): 238-240.

• 软件工程与数据库技术 • 上一篇下一篇

Petri网替换运算

吴振寰吴哲辉

山东科技大学信息科学与工程学院,青岛266510

出版日期:2018-11-17 发布日期:2018-11-17
基金资助:
国家自然科学基金资助课题（项目号：60173053）.

WU Zhen-Huan, WU Zhe-Hui （CISE, SDUST, Qingdao 266510）

Online:2018-11-17 Published:2018-11-17

摘要/Abstract

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

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

Abstract: 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 a

Key words: Petri net, Substitution operation, Petri net language, Stepwise refinement

吴振寰吴哲辉. Petri网替换运算[J]. 计算机科学, 2005, 32(11): 238-240. https://doi.org/

WU Zhen-Huan, WU Zhe-Hui （CISE, SDUST, Qingdao 266510）. [J]. Computer Science, 2005, 32(11): 238-240. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

Petri网替换运算

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 0