基于展开的状态空间搜索方法  

作　　者：王博 代飞 黄苾 

机构地区：[1]云南大学软件学院,云南省昆明市650091 [2]西南林业大学大数据与智能工程学院,云南省昆明市650091

出　　处：《电子技术与软件工程》2018年第10期47-48,共2页ELECTRONIC TECHNOLOGY & SOFTWARE ENGINEERING

基　　金：云南省自然科学基金资助项目(2016FB102)

摘　　要：对于Petri网,与基于可达图的状态空间搜索方法相比,基于展开的状态空间搜索方法不需要考虑并发事件间的所有可能交织,可避免状态空间爆炸问题。通过例子,直观比较可达图和出现网的规模,由此说明基于展开的状态空间搜索不会产生状态空间爆炸。

关 键 词：PETRI网 展开 出现网 可达图 状态空间爆炸 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构]