共 1 条
基于库所指标的Petri网分解方法
被引：22
作者：
曾庆田
吴哲辉
机构：
[1] 山东科技大学信息学院
[2] 山东科技大学信息学院 泰安
[3] 泰安
来源：
关键词：
Petri net;
Index of places;
Decompose;
Reachable marking set;
Language;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
<正> 一、引言 Petri网是系统模拟和分析的有效工具。对于一个规模较大的网系统,由于变迁和库所数目的增多,其分析显得比较麻烦。针对这个问题,国内外的许多学者作了大量的工作,他们提出了网化简、网运算,定义了化简子网、逐次化简以及针对特殊子网、特殊结构的化简方法。文[6]和文[7]分别给出了网系统的“和分解”和“并分解”方法,并讨论了通过这两种分解方法得到的子网同原网在结构性质方面的对应关系。本文通过指定库所集的指标函数,给出一种基于库所指标集的Petri网分解方法,通过分解得到结构简单的子网系统:|t|≤1且|t|≤1,原系统的状态和语言与子系统之间存在着一种投影关系,通过子网间的同步合成可得到原系统的状态和行为,对用Petri网分析大规模系统提供了一种有效的方法。由于篇幅所限,本文没有介绍Petri网的基本概念和术
引用
收藏
页码：15 / 17+23
+23
页数：4
相关论文