一种基于XML的Petri网运行方法及系统技术方案

本发明专利技术公开了一种基于XML的Petri网运行方法及系统，该方法包括：获取Petri网的结构描述信息和基于XML描述的运行相关算法；利用结构描述信息和基于XML描述的运行相关算法，运行Petri网；其中，结构描述信息包括库所集信息、变迁集信息及流集信息。本发明专利技术中，Petri网的运行相关算法是预先使用XML进行描述的并且融入到Petri网的其它描述中，相较现有技术中引入用其它语言编写的算法，本发明专利技术有效提高了Petri网运行效率；同时，上述Petri网的结构描述信息中仅包含简单的基本结构信息，相较现有技术中PNML对Petri网的定义复杂且含有过多额外信息，本发明专利技术有利于提高Petri网的运行效率。

【技术实现步骤摘要】

本专利技术涉及分布式系统建模
，特别是涉及一种基于XML的Petri网运行方法及系统。
技术介绍
目前，作为分布式系统的建模和分析工具，Petri网已经形成了一套较为完善理论体系。传统的Petri网是基于图进行分析，比较直观，易于人的理解。随着软件技术的日益发展，研究人员越来越希望借助计算机来研究Petri网，更准确的说是希望借助一种Petri网工具来进行建模、模拟和分析，而Petri建模工具的基础是计算机可理解的Petri网定义。其中，XML(可扩展标记语言)作为当前广泛应用的标准的结构化语言，是Petri网语义载体的理想方案。现有技术中，Petri网描述语言(PetriNetMarkupLanguage，PNML)是一个基于XML的Petri网的交换格式，可以通过文件形式定义一个Petri网的结构，并且可以通过特定的Petri网类型定义(PetriNetTypeDefinition，PNTD)来针对不同类型的Petri网定义不同的Petri网的特定属性。但是，由于PNML追求交换的标准化，使得其自身过于规范化，首先，在Petri网运行过程中需要引入用其它(非XML)语言编写的算法代码，影响了运行效率；其次，原本解析XML文件就是Petri建模工具执行效率的瓶颈，而PNML对Petri网的定义复杂且含有过多额外信息，这同样也影响了对Petri网XML文件的解析效率。
技术实现思路
r>有鉴于此，本专利技术提供了一种基于XML的Petri网运行方法及系统，以克服现有技术中引入用其它语言编写的算法代码以及PNML对Petri网的定义复杂且含有过多额外信息影响运行效率的缺点，进而提高Petri网的运行效率。为解决上述技术问题，本专利技术提供一种基于XML的Petri网运行方法，包括：获取Petri网的结构描述信息；获取基于XML描述的运行相关算法；利用所述结构描述信息和所述基于XML描述的运行相关算法，运行所述Petri网；其中，所述结构描述信息包括库所集信息、变迁集信息以及流集信息。上述方法中，优选的，在所述利用所述结构描述信息和所述基于XML描述的运行相关算法，运行所述Petri网过程中，还包括：调用基于XML描述的状态监控进程，对所述库所集、所述变迁集和所述流集的运行状态进行监控；其中，所述监控进程包括库所集监控进程、变迁集监控进程以及流集监控进程。上述方法中，优选的，在所述调用基于XML描述的状态监控进程，对所述库所集、所述变迁集和所述流集的运行状态进行监控之后，还包括：分别保存监控到的所述库所集、所述变迁集和所述流集的运行状态。上述方法中，优选的，在所述利用所述结构描述信息和所述基于XML描述的运行相关算法，运行所述Petri网的过程中，还包括：利用基于XML描述的可覆盖性图对所述Petri网的状态变化和变迁发生序列情况进行分析；其中，所述可覆盖性图包括标识向量和可达弧。上述方法中，优选的，所述运行相关算法包括前集基本量算法、后集基本量算法及基于迁移规则的Petri网运行算法。本专利技术还提供了一种基于XML的Petri网运行系统，包括：第一获取单元，用于获取Petri网的结构描述信息；第二获取单元，用于获取基于XML描述的运行相关算法；运行单元，用于利用所述结构描述信息和所述基于XML描述的运行相关算法，运行所述Petri网；其中，所述结构描述信息包括库所集信息、变迁集信息以及流集信息。上述系统中，优选的，还包括：监控单元，用于在所述利用所述结构描述信息和所述基于XML描述的运行相关算法，运行所述Petri网过程中，调用基于XML描述的状态监控进程，对所述库所集、所述变迁集和所述流集的运行状态进行监控；其中，所述监控进程包括库所集监控进程、变迁集监控进程以及流集监控进程。上述系统中，优选的，还包括：存储单元，用于在所述调用基于XML描述的状态监控进程，对所述库所集、所述变迁集和所述流集的运行状态进行监控之后，分别保存监控到的所述库所集、所述变迁集和所述流集的运行状态。上述系统中，优选的，还包括：分析单元，用于在所述利用所述结构描述信息和所述基于XML描述的运行相关算法，运行所述Petri网的过程中，利用基于XML描述的可覆盖性图对所述Petri网的状态变化和变迁发生序列情况进行分析；其中，所述可覆盖性图包括标识向量和可达弧。上述系统中，优选的，所述运行相关算法包括前集基本量算法、后集基本量算法及基于迁移规则的Petri网运行算法。以上本专利技术提供的一种基于XML的Petri网运行方法及系统中，先获取Petri网的结构描述信息和基于XML描述的运行相关算法，然后利用获取到的结构描述信息和基于XML描述的运行相关算法，运行Petri网。本专利技术中，Petri网的运行相关算法是预先使用XML进行描述好的并且融入到Petri网的其它描述中，相较现有技术中引入用其它(非XML)语言编写的算法代码，本专利技术有效提高了Petri网运行效率；同时，上述Petri网的结构描述信息中仅包含简单的基本结构信息(库所集信息、变迁集信息以及流集信息)，相较现有技术中PNML对Petri网的定义复杂且含有过多额外信息，本专利技术有利于提高Petri网的运行效率。附图说明为了更清楚地说明本专利技术实施例或现有技术中的技术方案，下面将对实施例或现有技术描述中所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图仅仅是本专利技术的实施例，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据提供的附图获得其他的附图。图1为本专利技术实施例提供的一种基于XML的Petri网运行方法的流程图；图2为本专利技术实施例提供的一个简单的Petri网∑1的结构示意图；图3为本专利技术实施例提供的一个Petri网∑1的进程的示意图；图4为本专利技术实施例提供的一种Petri网∑1的可覆盖性图的示意图；图5为本专利技术实施例提供的一种基于XML的Petri网运行系统的结构框图示意图。具体实施方式下面将结合本专利技术实施例中的附图，对本专利技术实施例中的技术方案进行清楚、完整地描述，显然，所描述的实施例仅仅是本专利技术一部分实施例，而不是全部的实施例。基于本专利技术中的实施例，本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他本文档来自技高网...

【技术保护点】
一种基于XML的Petri网运行方法，其特征在于，包括：获取Petri网的结构描述信息；获取基于XML描述的运行相关算法；利用所述结构描述信息和所述基于XML描述的运行相关算法，运行所述Petri网；其中，所述结构描述信息包括库所集信息、变迁集信息以及流集信息。

【技术特征摘要】
1.一种基于XML的Petri网运行方法，其特征在于，包括：
获取Petri网的结构描述信息；
获取基于XML描述的运行相关算法；
利用所述结构描述信息和所述基于XML描述的运行相关算法，
运行所述Petri网；
其中，所述结构描述信息包括库所集信息、变迁集信息以及流集
信息。
2.如权利要求1所述的方法，其特征在于，在所述利用所述结
构描述信息和所述基于XML描述的运行相关算法，运行所述Petri网
过程中，还包括：
调用基于XML描述的状态监控进程，对所述库所集、所述变迁
集和所述流集的运行状态进行监控；
其中，所述监控进程包括库所集监控进程、变迁集监控进程以及
流集监控进程。
3.如权利要求2所述的方法，其特征在于，在所述调用基于XML
描述的状态监控进程，对所述库所集、所述变迁集和所述流集的运行
状态进行监控之后，还包括：
分别保存监控到的所述库所集、所述变迁集和所述流集的运行状
态。
4.如权利要求1至3任意一项所述的方法，其特征在于，在所
述利用所述结构描述信息和所述基于XML描述的运行相关算法，运
行所述Petri网的过程中，还包括：
利用基于XML描述的可覆盖性图对所述Petri网的状态变化和变
迁发生序列情况进行分析；
其中，所述可覆盖性图包括标识向量和可达弧。
5.如权利要求4所述的方法，其特征在于，所述运行相关算法
包括前集基本量算法、后集基本量算法及基于迁移规则的Petri网运行
算法。
6.一种基于XML的Petri网运行系统，其特...

【专利技术属性】
技术研发人员：亓开元，苏志远，
申请(专利权)人：浪潮北京电子信息产业有限公司，
类型：发明
国别省市：北京;11