公开(公告)号：CN109598949B

公开(公告)日：2021-06-22

申请号：CN201811441452.8

申请日：2018-11-29

Applicant: 南京理工大学

Inventor： 黄波 ,  赵志霞 ,  赵凌波 ,  裴焱栋 ,  蔡志成

IPC: G08G1/07 ,  G08G1/083 ,  G08G1/16

Abstract: 本发明公开了基于赋时Petri网的T形路口紧急车辆抢占控制方法，包括以下步骤：首先设置Petri网中所有库所的最大容量值；之后根据紧急车辆到达T形路口时交通灯的状态，划分出不同的紧急场景；然后利用赋时Petri网建立不同紧急场景对应的Petri网模型；最后将不同紧急场景对应的Petri网模型进行组合构建T形路口紧急车辆抢占控制系统，该系统即实现T形路口紧急车辆抢占控制。本发明以基于三相控制技术的T形交叉路口为对象，采用赋时Petri网模型为建模与分析工具，生成无冲突的紧急车辆抢占控制系统，该方法能有效的避免紧急车辆在T形路口发生冲突的情况，提高交叉路口的通行效率，有效的缩短紧急车辆到达目的地所需的时间。

公开(公告)号：CN110110402A

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

申请号：CN201910318045.6

申请日：2019-04-19

Applicant: 南京理工大学

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

IPC: G06F17/50

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

公开(公告)号：CN109598949A

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

申请号：CN201811441452.8

申请日：2018-11-29

Applicant: 南京理工大学

Inventor： 黄波 ,  赵志霞 ,  赵凌波 ,  裴焱栋 ,  蔡志成

IPC: G08G1/07 ,  G08G1/083 ,  G08G1/16

Abstract: 本发明公开了基于赋时Petri网的T形路口紧急车辆抢占控制方法，包括以下步骤：首先设置Petri网中所有库所的最大容量值；之后根据紧急车辆到达T形路口时交通灯的状态，划分出不同的紧急场景；然后利用赋时Petri网建立不同紧急场景对应的Petri网模型；最后将不同紧急场景对应的Petri网模型进行组合构建T形路口紧急车辆抢占控制系统，该系统即实现T形路口紧急车辆抢占控制。本发明以基于三相控制技术的T形交叉路口为对象，采用赋时Petri网模型为建模与分析工具，生成无冲突的紧急车辆抢占控制系统，该方法能有效的避免紧急车辆在T形路口发生冲突的情况，提高交叉路口的通行效率，有效的缩短紧急车辆到达目的地所需的时间。

公开(公告)号：CN110110402B

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

申请号：CN201910318045.6

申请日：2019-04-19

Applicant: 南京理工大学

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

IPC: G06F30/22 ,  G06F119/18

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