基于带抑制弧的Petri网模拟HB系统状态转换的方法

摘要

本发明涉及一种基于带抑制弧的Petri网模拟HB系统状态转换的方法，包括如下步骤：步骤一、将HB系统状态划分为运行状态模块、在网/离网模块以及容灾三个模块；步骤二、分别确定各个模块的库所、变迁及初始令牌的分布情况；步骤三、各个模块分别根据变迁与库所间的依赖关系或作用关系进行有向弧的连接，分别形成每个模块的对应Petri子模型；步骤四、根据三个模块之间关系，用有向弧或抑制弧将所述Petri子模型连接成一个Petri整体模型；步骤五、基于Petri中间件平台进行控制，对步骤四得到的Petri整体模型进行自动的分析和校验。本发明可以显示HB系统的实时状态，让运维人员即时了解HB系统状态转换的处理进度和健康程度，并加以适当控制。

主权项

一种基于带抑制弧的Petri网模拟HB系统状态转换的方法，其特征在于，包括如下步骤：步骤一、将HB系统状态划分为运行状态模块、在网/离网模块以及容灾三个模块；其中，运行状态模块包括Offline、Maintenance、Online三种状态及其之间的状态转换；在网/离网模块包括离网和入网两种状态及其之间的状态转换；对于实际的HB系统，运行状态模块和在网/离网模块之间的关系为：只有在Online状态才能入网；从Online切到Offline或者Maintenance状态前，必须先离网；容灾模块包括主系统和备系统两种状态及其之间的状态转换，而且，对于实际的HB系统，主系统、备系统之间切换只能在Maintenance状态进行；步骤二、基于带抑制弧的Petri网，用库所代表各个模块的不同状态，用变迁来代表各个模块内部不同状态之间的切换，用令牌的分布情况表示模块所处的状态，分别确定各个模块的库所、变迁及初始令牌的分布情况；步骤三、各个模块分别根据变迁与库所间的依赖关系或作用关系进行有向弧的连接，分别形成每个模块所对应的Petri子模型；步骤四、根据三个模块之间关系，用有向弧或抑制弧将所述Petri子模型连接成一个Petri整体模型；步骤五、基于Petri中间件平台进行控制，对步骤四得到的Petri整体模型进行自动的分析和校验。