petri网性质的线性时序逻辑描述与Spin检验

Name: petri网性质的线性时序逻辑描述与Spin检验
Rating: 4.5 (47 reviews)
Author: wyh17474247

上传者：wyh17474247 2018-12-26 01:25:34上传 CAJ文件 238.3KB 热度 47次

对研究petri网和时序逻辑理论知识的有很大的启发作用

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

petri网性质的线性时序逻辑描述与Spin检验

对研究petri网和时序逻辑理论知识的有很大的启发作用

大小：0B | 2018-12-26 01:25:34
论文研究基于时序Petri网的联锁逻辑形式建模与验证.pdf

时序Petri网结合Petri和时序逻辑的优点，清晰简洁的描述并发系统事件间的时序和因果关系，包括系...

大小：966KB | 2020-07-17 08:10:35
组合逻辑和时序逻辑描述ppt

大小：0B | 2019-01-16 01:39:47
时序Ada网的语言性质

在Ada网的基础上,利用时序Petri网为Ada任务程序建模,提出了时序Ada网的概念,利用时序Ad...

大小：214KB | 2021-02-22 13:28:17
想要学习线性时序逻辑的论文

关于线性时序逻辑的好资料，适合对于状态空间描述的学习者用。

大小：0B | 2019-06-04 06:41:58
Petri网的起源与发展petri网的应用

一、Petri网的起源与发展二、基本Petri网 Petri网的定义 Petri网的结构 Petr...

大小：421KB | 2021-05-13 14:43:43
论文研究描述逻辑的动态时序扩展.pdf

在一些基于本体的动态应用中,需要描述组合动作和变化域的时间特性。为了对这类应用建模,通过整合动态时序...

大小：0B | 2019-09-12 03:04:18
Petri网的定义petri网的应用

Petri网的定义定义2.1 PN的结构是由4要元描述的一有向图: PNS=(P,T,I,O) 此...

大小：421KB | 2021-05-13 14:43:43
基于时序Petri网的变电站故障诊断

基于时序Petri网的变电站故障诊断

大小：224KB | 2021-04-08 17:56:50
Petri网的原理与应用

Petri网是一种适合于描述异步并发现象的系统模型，它既有严格的数学定义，又有直观的图形表示，既有丰...

大小：0B | 2020-06-08 06:21:29
petri net Petri网

对Petri网的总体介绍，方便新手入门。

大小：0B | 2019-07-06 04:07:11
Petri网手册Petri网原理

对于petri网原理的介绍和分析,有比较大的实用价值,希望了解petri网的人可以作为参考资料。

大小：531KB | 2021-04-25 03:19:36
描述逻辑手册语义网本体

该手册是学习描述逻辑的经典教材描述逻辑的应用主要是在语义网中上传该手册方便于大家对语义网进行研究

大小：0B | 2020-06-15 19:19:12
测试检验电路时序的FPGA逻辑验证分析仪

随着FPGA技术的广泛使用,越来越需要一台能够测试验证FPGA芯片中所下载电路逻辑时序是否正确的仪器...

大小：103KB | 2020-10-28 06:03:48
Petri网原理与应用

Petri 网原理与应用

大小：7.64MB | 2021-03-01 17:49:06
基于时序信息的模糊Petri网电网故障诊断方法

模糊petri网电网故障诊断Petri网仿真建模应用实例科技发展提高了对系统性能的要求，加剧了系统姐...

大小：0B | 2019-07-29 20:37:07