大规模复杂Petri网的层次结构提取方法技术

本发明专利技术公开了一种大规模复杂Petri网的层次结构提取方法，包括：构建并发系统的Petri网，并获得Petri网的关联矩阵C，分别以P<subgt;1</subgt;，P<subgt;2</subgt;，...，P<subgt;n</subgt;和t<subgt;1</subgt;，t<subgt;2</subgt;，...，t<subgt;m</subgt;对关联矩阵C的行和列进行标注；遍历关联矩阵C，确定关联矩阵C中所包含的独立变迁的列以及关联矩阵C中所包含的并发变迁的列；根据步骤(2)中并发变迁的列，选择同一列中不同‑1对应的行，得到对应的库所，所述库所不在同一子Petri网中；对并发系统t的Pre集与Post集作笛卡尔积和排列组合，将结果存入集合C<subgt;Act</subgt;，并进行最初的子Petri网划分，得出一系列形如(Pre‑p，Post‑p)的组合。本发明专利技术分析出对应Petri网系统模型所有潜在的层次结构，进而更加方便研究者对系统的整体结构以及系统的层次结构特征进行深入的研究和分析。

【技术实现步骤摘要】

本专利技术涉及并发系统的petri网结构，尤其涉及一种大规模复杂petri网的层次结构提取方法。

技术介绍

1、petri网是应用相当广泛的并发系统的建模和描述工具。petri网同时是一种系统模型，是对离散并行系统的数学表示，适合于描述异步的、并发的计算机系统模型。petri网既有严格的数学表达方式，也有直观的图形表达方式；既有丰富的系统描述手段和系统行为分析技术，又为计算机科学提供坚实的概念基础。基于以上优势，petri网经常用于协议验证、并行程序设计、工作流管理以及数据分析、故障诊断(如检测死锁)等。

2、但是随着系统模型的规模不断增加，petri网的网状结构也就相应的会变得十分庞大和复杂，这也就使得它的直观性急剧下降，同时，也会产生难以分析其中的并发变迁以及结构信息等问题。如何克服petri网的这一不足，从而大大提高了我们对大规模系统模型进行分析的能力是当前亟需要解决的问题。

技术实现思路

1、专利技术目的：本专利技术的目的是提供一种大规模复杂petri网的层次结构提取方法。

2本文档来自技高网...

【技术保护点】

1.一种大规模复杂Petri网的层次结构提取方法，其特征在于，包括如下步骤：

2.根据权利要求1所述的大规模复杂Petri网的层次结构提取方法，其特征在于，所述步骤(2)包括：

3.根据权利要求2所述的大规模复杂Petri网的层次结构提取方法，其特征在于，所述步骤(2.3)所得的包含独立变迁的列，以形如(Pre-p，Post-p)的组合对的形式存在，并对形成的所有组合对进行收尾相连操作，最后将结果存入集合IAct。

4.根据权利要求1所述的大规模复杂Petri网的层次结构提取方法，其特征在于，所述步骤(4)中笛卡尔积和排列组合包括：

5.根...

【技术特征摘要】

1.一种大规模复杂petri网的层次结构提取方法，其特征在于，包括如下步骤：

2.根据权利要求1所述的大规模复杂petri网的层次结构提取方法，其特征在于，所述步骤(2)包括：

3.根据权利要求2所述的大规模复杂petri网的层次结构提取方法，其特征在于，所述步骤(2.3)所得的包含独立变迁的列，以形如(pre-p，post-p)的组合对的形式存在，并对形成的所有组合对进行收尾相连操作，最后将结果存入集合iact。

4.根据权利要求1所述的大规模复杂petri网的层次结构提取方法，其特征在于，所述步骤(4)中笛卡尔积和排列组合包括：

5.根据权利要求1所述的大规模复杂petri网的层次结构提取方法，其特征在于，所述步骤(4)对最初的子petri网划分包含系统模型中所有的库所，且对不同并发系统t所形成的(pre-p，post-p)组合对进行合并时，能首尾相连，则算法结束，完成petri网系统模型的层次结构提取。

6.根据权利要求1所述的大规模复杂petri网的层次结构提取方法，其特征在于，所述步骤(4)对最初的子p...

【专利技术属性】
技术研发人员：丁杰，吴泽宇，诸峰，
申请(专利权)人：江苏科技大学，
类型：发明
国别省市：