时延PETRI网相关论文
本文的内容是基于随机PETRI网的航空电子综合系统数据总线的建模分析。通过对综合航电系统数据总线的性能指标分析，以达到优化总线......
该文主要为了描述电力系统,首先提出了一种非自主T时延Petri网来描述电力系统常用的延时开关.其次提出受控变速的连续Petri网(CVCP......
密码协议安全性分析是网络安全的一个难题,运用形式化方法对密码协议进行分析一直是该领域的研究热点.形式化分析由于其精炼、简洁......
实时系统是一类重要的计算机应用系统,它经常被使用在对安全性要求极高的操作环境中,因此确保此类系统的正确性至关重要,并且需要......
随着用工作流的方法管理业务流程的需求的不断增加,人们提出了各种各样的模型和分析方法。而现存的工作流产品缺乏对动态变化所必......
互联网技术的创新发展催生了一批以互联网为基础的消费领域,电子商务为用户提供了方便快捷的消费体验,影响着社会经济生活的各个方......
道路交通作为当今社会生产生活的重要一环,保障城市交通道路的安全畅通,是实现城市人民生活稳步发展的一个先决条件,更是保障社会......
针对机场机坪服务作业多且逻辑复杂,机坪服务流程确定困难,给出了提高机坪作业调度时间弹性的方法。运用时延Petri网获取机坪所有......
