手机知网 App
24小时专家级知识服务
打 开
计算机软件及计算机应用
基于部分状态空间存储的Petri网库所界求解算法
Petri网是一种重要的形式化建模工具,有界性是Petri网的重要性质之一.该文关注于这一性质并提出了一种新的无需存储全部状态空间的算法以求解Petri网库所界,主要思想为在生成状态空间过程中,通过引导消除可达图的部分回路同时结合T不变量的相关性质,以实现通过存储部分状态来精确求解每个库所的界.基于模型检测比赛的公开数据集进行了对比实验,通过对求解库所界的不同方法及其实验结果进行比较分析,说明了本文算法的有效性.
0 30
手机阅读本文
下载APP 手机查看本文
应用科学学报
2020年05期
相似文献
图书推荐
相关工具书

搜 索