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

Name: 基于LTL和PETRI网的模型检测方法
Rating: 4.5 (47 reviews)
Author: wyh17474247

上传者：wyh17474247 2019-05-15 23:53:54上传 PDF文件 561.82KB 热度 47次

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

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

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

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

大小：0B | 2019-05-15 23:53:54
基于有色Petri网模型的安全协议检测方法

Security protocol detection method based on colore...

大小：0B | 2019-06-26 15:43:58
基于Petri网模型的泛化度计算方法

针对现有泛化度算法依赖于概率分布和时间复杂度高的缺点,提出一种基于泛化度自动机的泛化度计算方法。将P...

大小：326KB | 2020-07-30 14:13:09
基于Stateflow的Petri网仿真方法

：Stateflow是matlab环境下与simulink整合在一起的专门用来对复杂响应系统和事件驱...

大小：0B | 2020-05-02 22:33:06
基于Petri网工作流模型的分析

这是一款整理发布的基于Petri网工作流模型的分析,它能给予你所需要了解与基于Petri网工作流模....

大小：1.13MB | 2020-12-21 08:33:13
基于扩展Petri网的文本分类模型

文本介绍了基于扩展Petri网的文本分类模型的设计和实现,很实用

大小：115KB | 2021-04-26 10:02:39
论文研究基于Petri网的概念模型验证方法研究.pdf

针对目前概念模型动态部分内容的验证由于其复杂性难以通过阅读式地审查发现其中的瑕疵等问题，提出了利用P...

大小：0B | 2019-09-22 04:12:28
论文研究基于Petri网的APT攻击模型生成方法.pdf

在严峻的APT（advancedpersistentthreat）攻击防御背景下，针对现有网络攻击建...

大小：0B | 2019-07-29 08:07:56
Petri网模型分析工具

Petri网分析工具广义随机Petri网下的组合Web服务建模与评价基于Petri网原理的数据流模型...

大小：0B | 2019-07-06 04:06:13
基于有色Petri网的模型驱动SOA服务模型组合

大小：521.938 KB | 2022-11-02 17:03:16
基于模糊Petri网的网络风险评估模型

针对网络安全风险评估过程中存在的复杂性,以资产、脆弱性和威胁为安全评估的关键因素,建立安全分析的层次...

大小：1005KB | 2021-04-26 10:02:34
Petri网的定义petri网的应用

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

大小：421KB | 2021-05-13 14:43:43
Petri网基本概念和分析方法

Petri网入门必备学习资料，新手快快下载吧

大小：0B | 2019-05-15 23:53:56
对UML模型与Petri网模型的转换方法的整合研究

大小：0B | 2019-01-03 01:04:05
基于随机Petri网的虚拟网可生存性模型研究

针对在描述可重构服务承载网(RSCN)差异化服务需求时无法定量描述其安全属性的问题,提出了一种RSC...

大小：151KB | 2021-01-17 02:06:37
基于Petri网的机车故障诊断方法研究

本文对petri网在机车故障诊断领域的应用研究做了新的探索。在分析机车故障的基本特性的基础上,建立故...

大小：196KB | 2020-10-27 12:28:49