基于时间有色Petri网的电梯系统的建模与分析
该文章用时间—有色Petri网详细对电梯系统进行了建模和分析，有很强的参考价值。
用户评论
相关推荐
基于有色Petri网的CBTC系统列车追踪过程建模与仿真
CBTC（CommunicationBasedTrainControl）系统代表当今世界最先进的列车运行控制系统的发展方向。从提高运输效率上来说，与传统的基于轨道电路的列车运行控制系统相比，CBTC系
PDF
0B
2019-09-26 03:38
论文研究进路建立过程的时间有色petri网建模与仿真.pdf
计算机联锁软件作为计算机联锁系统的核心主控软件，可靠性和安全性需建立在好的安全模型之上，提出了采用时间有色Petri网对进路建立的具体过程进行形式化建模，时间戳可以得知联锁设备的精确动作时刻以及操作持
PDF
537KB
2020-07-16 15:52
基于着色Petri网的知识流建模与分析
介绍着色petri的建模方法的文档，对于新手了解着色petri有很大的帮助，让我们可以大致了解构建过程
PDF
0B
2019-01-08 07:47
基于有色Petri网的攻击场景构造
基于有色Petri网的攻击场景构造
PDF
0B
2019-01-07 01:21
CORBA工作流时间Petri网建模与分析
CORBA工作流时间Petri网建模与分析
PDF
420KB
2021-02-26 05:26
基于有色Petri网的变电站监控数据版本控制建模与研究
在大型设备的状态数据库中,数据版本的管理不善会造成系统的混乱甚至崩溃。针对这些问题,通过对已有版本控制方法的分析比较,设计了一种新的数据版本控制方法。该方法构建一种有色Petri网(CPN),模拟数据
PDF
352KB
2021-02-26 19:08
论文研究基于有色Petri网的BPEL中flow活动建模.pdf
面向Web服务的业务流程执行语言BPEL本身缺乏健壮的语义，构建Web组合服务又是一种易于出错的任务。基于有色赋时Petri网，提出了从BPEL描述的Web组合服务流程中Flow活动到有色Petri网
PDF
0B
2019-07-31 18:17
CPN Color Petri Net即有色的Petri网
CPN (Color Petri Net) is a colored Petri net
docx
0B
2019-06-26 15:43
基于有色Petri网的时钟同步协议安全性分析
随着工业以太网的发展, 作为其实时性保障核心技术的时钟同步协议的安全性变得至关重要. 针对时钟同步协议的安全性问题, 首先提出一种基于有色Petri 网的时钟同步协议安全性分析方法; 然后通过建立协议
PDF
244KB
2021-01-16 19:27
论文研究基于有色Petri网的web服务组合建模与研究.pdf
基于有色Petri网的web服务组合建模与研究，宋小卫，，随着网络应用的蓬勃发展,web服务越来越普及。在实际应用中,往往需要对已有web服务进行集成。目前，在构建基于B/S模式的管理系统中��
PDF
0B
2020-02-07 06:43
论文研究基于Petri网的Socks协议建模与分析.pdf
论述基于Petri网的Socks协议分析，通过对Socks协议的分解，给出了Socks协议各阶段的流程，并建立相应的Petri网模型，从而完成对Socks协议运行机制和实现原理的分析。
PDF
0B
2020-05-24 07:24
论文研究基于有色Petri网的SysML序列图的分析与验证.pdf
针对SysML序列图本身缺乏分析和验证手段的问题,提出了一种序列图到有色Petri网的转换方法：定义了将序列图的常用操作转换为等价有色Petri网的转换规则,重点是把序列图的常用结构如可选结构、条件结
PDF
0B
2020-05-25 03:49
基于java的petri网建模工具
jpetrinet,基于java编写的petri网建模的工具希望对大家有所帮助~
JAR
0B
2020-05-13 06:31
基于精炼操作的Petri网建模及其分析方法
针对复杂系统的Petri网建模及其分析问题,定义了Petri 网的精炼操作及其相关的Petri网模型.基于序列投影,建立精炼Petri网与原网、子网间的动态行为关联关系,并分析了该精炼操作的相关动态性
PDF
582KB
2021-02-17 13:02
基于有色Petri网模型的安全协议检测方法
Security protocol detection method based on colored Petri net model
PDF
0B
2019-06-26 15:43
documentary69979 2019-01-18 00:46:49
学习下petri模型，不错