上市公司最新授权发明专利监控：天源迪科（300047）2013-12-25

深圳天源迪科信息技术股份有限公司最新发明专利：基于带抑制弧的Petri网模拟HB系统状态转换的方法201110040388.4于2013年12月25日获得国家知识产权局授权。

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

的说明书摘要为：

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