petri

Petri网是一种用于描述离散的、分布式系统的数学建模工具。它用形式化手段描述协议的技术.类似于有穷状态自动机.其文法规则有利于计算机程序维护·它可以用来检测协议中的错误，死锁状态。

共 38 份资源

petri 全部资料 38 份

PDF文档

讨论了通过对象Petri网对业务过程执行语言(BPEL)进行建模，提供一种从抽象BPEL过程扩展生成可执行BPEL过程的方法，该方法保证生成的可执行BPEL过程遵循抽象BPEL过程定义的业务协议，并通...

6 次
PDF文档

证明活的标识S-图、活的标识T-图、有界的冲突无关的Petri 网、有界的标识T-图具有汇合性质，讨论共享合成与同步合成操作对Petri 网汇合性质的保持性，得出由上述简单的Petri 网子类通过共享...

6 次
PDF文档

渗透测试是常用的网络安全保障方法。该文细化现有渗透测试过程，针对传统渗透测试模型存在的不足提出一种基于有色Petri网的攻击测试网模型，用于模拟网络攻击并组织测试过程。探讨不同攻击场景的合成规则和测试...

2 次
PDF文档

涵盖Petri网在输电系统故障诊断中的建模与应用，从理论分析到实际案例解析，深入讲解如何利用Petri网进行逻辑推理和状态推演，提升故障识别效率。...

2 次
PDF文档

讨论树型网格环境下独立任务的调度问题，把网格资源计算能力和网络通信速度的异构资源调度问题转化为线性规划问题。提出网格资源调度的树型Petri网模型，基于速度优先的启发式资源调度算法对树型Petri网模...

6 次
PDF文档

Petri网是一种图形化建模分析工具，它应用广泛其范围己远远超出了计算机科学的领域。本文以廉租住房管理系统为例， 提出了一个基于随机Petri网工作流建模的方法，对模型的正确性进行了验证。并利用随机P...

8 次

petri技术资料简介

Petri网是一种用于描述离散的、分布式系统的数学建模工具。它用形式化手段描述协议的技术.类似于有穷状态自动机.其文法规则有利于计算机程序维护·它可以用来检测协议中的错误，死锁状态。

相关技术领域： Petri BPEL 满足 渗透 Matlab Petri网 输电系统 故障诊断 逻辑推理 模型 构件 可靠性研究