基于二叉决策图的资源分配系统可达状态的快速求解方法

摘要

本发明公开了一种基于二叉决策图的资源分配系统可达状态的快速求解方法，包括以下步骤：利用Petri网对资源分配系统进行建模；利用布尔变量对Petri网中的库所进行表示，获得标识向量；基于标识变量，获取标识向量集合M的特征函数，之后根据该特征函数对Petri网中库所、弧权值以及Petri网的状态标识进行压缩表示；求解变迁的使能条件的特征函数；通过镜像计算求取Petri网的可达状态集。本发明的方法能缓解在系统模型分析中存在的状态爆炸问题，以较小的时间和空间，快速求解系统可达集，对于较大规模该类系统的应用具有重要意义。