公开(公告)号：CN110110402A

公开(公告)日：2019-08-09

申请号：CN201910318045.6

申请日：2019-04-19

Applicant: 南京理工大学

Inventor： 黄波 ,  赵凌波 ,  蒲立明 ,  李美玲 ,  俞翀 ,  丁高瞻 ,  蔡志成

IPC: G06F17/50

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

公开(公告)号：CN110110402B

公开(公告)日：2023-04-18

申请号：CN201910318045.6

申请日：2019-04-19

Applicant: 南京理工大学

Inventor： 黄波 ,  赵凌波 ,  蒲立明 ,  李美玲 ,  俞翀 ,  丁高瞻 ,  蔡志成

IPC: G06F30/22 ,  G06F119/18

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