基于LTL和PETRI 网的模型检测方法

【文件属性】：

文件名称：基于LTL和PETRI 网的模型检测方法

文件大小：562KB

文件格式：PDF

更新时间：2017-08-29 08:14:10

LTL petri网 模型检测

一种有效的基于LTL和PETRI网的模型检测方法