petri
共 52 篇文章
petri 相关的电子技术资料，包括技术文档、应用笔记、电路设计、代码示例等，共 52 篇文章，持续更新中。
Petri网在输电故障诊断的应用
涵盖Petri网在输电系统故障诊断中的建模与应用，从理论分析到实际案例解析，深入讲解如何利用Petri网进行逻辑推理和状态推演，提升故障识别效率。
基于随机Petri网模型的多DSP系统性能分析
·基于随机Petri网模型的多DSP系统性能分析
期刊论文：扩展模糊时延Petri网下的协同虚拟环境要素建模
·期刊论文：扩展模糊时延Petri网下的协同虚拟环境要素建模
期刊论文：扩展模糊时延Petri网下的协同虚拟环境要素建模
·期刊论文：扩展模糊时延Petri网下的协同虚拟环境要素建模
期刊论文：扩展模糊时延Petri网下的协同虚拟环境要素建模
·期刊论文：扩展模糊时延Petri网下的协同虚拟环境要素建模
基于有色 Petri Net 的多Agent入侵检测系统实现
在目前基于Agent 的分布式入侵检测系统的设计中，主要的设计思路是依赖多Agent 联盟合作机制，但在具体的工程实现中，却难以找到一种恰当的实现模型。本文针对此问题，提出了基于有色Petri Net
Research on the Approach to Assess Missile Operational Effectiveness Based on OPN
Object Petri Net (OPN) which combines Petri net with object-oriented theory gives an effective metho
SOA中基于EPN的动态服务组合模型
Web服务组合技术对提高面向服务的体系结构(SOA)的软件开发效率是非常重要的。该文对基于Petri网的服务组合进行了综述，目前采用较多的P/T_或高级网对服务组合的发展有重要的推动作用，但其所描述物
基于OOPN的嵌入式系统的建模研究与实现
本文结合了面向对象和Petri 网两种建模方法的优点，提出了一种新的面向对象Petri 网的建模方法。主要研究了面向对象Petri 网方法在嵌入式系统设计中的具体应用，并通过实验对该方法进行了正确性论
一类混杂系统Petri网模型的优化算法的研究
本文针对工业中广泛存在的混杂系统，结合进化算法，研究了应用Petri 网的分层递阶建模方法，实现一类混杂系统的建模与优化。<BR>关键词：混杂系统 Petri 网 建模 进化算法 优化<BR>Abst
面向对象的可编程控制器程序设计方法
通过总结目前普遍使用的组合逻辑函数法、功能转移图法、Petri 网分析法等可编程控制器程序设计方法，提出了一种面向对象的可编程控制器程序设计方法。依照面向对象技术的思想，详细阐述了在可编程控制器程序设
基于私网穿越的移动IP无缝切换改进办法
移动IP 技术重要的两个问题是动态切换与静态通信。针对切换问题，本文在预注册<BR>与后注册方法的基础上提出了一种改良的两者相结合的切换方法。通过petri 网建模可以直观的得到：该方法通过并发执行缩
基于Petri网的安全工作流管理系统建模
为增强工作流管理系统的安全性，本文使用高级 Petri 网对工作流过程进行建模。针<BR>对不同的安全问题，分别引入时间Petri 网、有色Petri 网和有色时间Petri 网进行建模。保<BR>证
基于FPGA的电梯群控系统的设计
本论文设计出一种较为有效的电梯群控系统。具体内容如下： 1.分析了当前国内外电梯群控技术发展的状况，指明了课题的目和意义。 2.描述了群控系统Petri网数学模型的建立，对电梯群控系统的控制算法进行设计，并介绍了本系统的特点和实现的关键技术。 3.介绍了系统总体结构设计，描述了各硬件组成部分及其工作原理。 4.重点介绍了系统软件结构设计以及调度算法的设计思想。进行了群控系统应用软件结构的规范化研究
基于时间Petri网的嵌入式系统软硬件划分方法
软硬件划分技术是软硬件协同设计中的一个关键技术。提出将时间Petri 网应用到软硬件划分当中，为系统的性能评估提供了形式化的方法和工具。另一方面，将系统功能集中到Petri 网的迁移上，从而将Petr
基于Petri网的地下工程智能化系统建模
<P>介绍了一种混合Petri网的基本原理，在分析了复杂地下工程智能化系统的复杂性、交互<BR>性、混合性的基础上，提出了利用混合Petri网对复杂地下工程智能化系统进行建模的一般方法，进而为复杂地下
几种满足汇合性质的Petri网子类
证明活的标识S-图、活的标识T-图、有界的冲突无关的Petri 网、有界的标识T-图具有汇合性质，讨论共享合成与同步合成操作对Petri 网汇合性质的保持性，得出由上述简单的Petri 网子类通过共享
远程数据采集系统通信协议设计与实现
数据传输是远程数据采集系统重要功能，要求精简高效的通信协议支持。本文根据《水情数据采集系统》通信结构与流程分析，使用Petri Net 模型进行协议定义的形式化描述和可达树验证，设计一种适应PSTN
基于对象Petri网的BPEL建模技术
讨论了通过对象Petri网对业务过程执行语言(BPEL)进行建模，提供一种从抽象BPEL过程扩展生成可执行BPEL过程的方法，该方法保证生成的可执行BPEL过程遵循抽象BPEL过程定义的业务协议，并通
基于Petri 网的工作流逻辑化简规则的矩阵表示
Petri 网是一种很有效的模型描述语言，尤其适合描述工作流。[1]给出了基于Petri 网<BR>的工作流逻辑（WF_logic）化简规则，这里则借助矩阵及矩阵运算或矩阵上的初等变换来实现这些化简规