推荐下载
-
PETRI网建模理论基础
这是一个关于 PETRI网建模理论基础的ppt文件，可供大学参考学习。
57 2018-12-10 -
pipe4.3petri网软件
petri网建模工具pipe4.3，需要先配置java环境
52 2018-12-10 -
petri网课件第1章
懂的人自然就明白,是一种类似系统验证的工具
6 2021-04-25 -
高级petri网语言教程
高级PETRI网描述中会用到许多内建函数，本文是比较权威全面的CPN语言教程
20 2019-01-07 -
petri网工具可以提供绘制运行及模拟的操作
(1)petri网仿真工具VON(2)petri网仿真工具winttpn这两个工具都比较好用，对初学petri网的人来说，简单易学。图形直观。
13 2020-05-13 -
着色petri网工具cpn_tools202版本
着色petri网工具cpn-tools2.02版本
37 2019-02-21 -
基于有色Petri网的时钟同步协议安全性分析
随着工业以太网的发展, 作为其实时性保障核心技术的时钟同步协议的安全性变得至关重要. 针对时钟同步协议的安全性问题, 首先提出一种基于有色Petri 网的时钟同步协议安全性分析方法; 然后通过建立协议
14 2021-01-16 -
论文研究逻辑Petri网的S组合及活性分析.pdf
基于Petri网和逻辑Petri网，提出了S-组合逻辑Petri网的概念。深入研究了S-组合逻辑Petri网的活性继承问题，给出了S-组合逻辑Petri网活性的判定定理和算法，并分析了S-组合网中几种
8 2020-05-02 -
论文研究基于Petri网的Socks协议建模与分析.pdf
论述基于Petri网的Socks协议分析，通过对Socks协议的分解，给出了Socks协议各阶段的流程，并建立相应的Petri网模型，从而完成对Socks协议运行机制和实现原理的分析。
26 2020-05-24 -
论文研究基于分解的连续Petri网性质分析方法.pdf
讨论了最大速度恒定连续Petri网（CCPN）的分解方法以及如何通过子网分析得到原网的性质。首先给出基于库所归属的分解方法，实现了CCPN的分解。为了保证通过子网分析原网的正确性，对合成网的动态不变性
31 2019-09-20
用户评论