%0 Journal Article
%T 基于变迁指标的petri网分解方法
%J 计算机科学
%D 2006
%X 通过定义petri网变迁的指标函数，给出一种基于变迁指标的petri网分解方法，通过分解得到子网系统均为结构简单的t-网。分析了原网系统与子系统在结构性质和动态性质方面的对应关系。并且证明了通过子网之间的共享合成可以得到原先的网系统，这为petri网用于复杂的物理系统分析提供了可靠的理论依据和技术手段。
%K petri网变迁指标分解可达状态语言petri网分解分解方法变迁结构性质子系统
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=21101841&flag=1