计算机科学 ›› 2006, Vol. 33 ›› Issue (1): 144-146.
• • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要: 通过定义Petri网变迁的指标函数,给出一种基于变迁指标的Petri网分解方法,通过分解得到子网系统均为结构简单的T-网。分析了原网系统与子系统在结构性质和动态性质方面的对应关系。并且证明了通过子网之间的共享合成可以得到原先的网系统,这为Petri网用于复杂的物理系统分析提供了可靠的理论依据和技术手段。
关键词: Petri网 变迁指标 分解 可达状态 语言 Petri网分解 分解方法 变迁 结构性质 子系统
Abstract: By defining the index function of transitions, a new decomposition method for Petri net is presented, with which the decomposed sub net systems are all T-nets. The structural and behavior properties during the decomposition process are analyzed with detai
Key words: Petri net,Index of transition, Reachable states, Language, Decomposition of petri net
. 基于变迁指标的Petri网分解方法[J]. 计算机科学, 2006, 33(1): 144-146. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2006/V33/I1/144
Cited