基于变迁指标的Petri网分解方法

摘要：

通过定义Petri网变迁的指标函数,给出一种基于变迁指标的Petri网分解方法,通过分解得到子网系统均为结构简单的T网.分析了原网系统与子系统在结构性质和动态性质方面的对应关系,并且证明了通过子网之间的共享合成可以得到原先的网系统,这为Petri网用于复杂的物理系统分析提供了可靠的理论依据和技术手段.

关键词：Petri网、变迁指标、分解、可达状态、语言、Petri网分解

所属期刊栏目：33

分类号：TP3(计算技术、计算机技术)

资助基金：中国科学院资助项目60173053;60274063;山东省青年科学家科研奖励基金02BS069

在线出版日期：2006-03-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：144-146,163