Petri

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

共 38 份资源
源代码 100

Petri 热门资料

查看全部 38 份 →
PDF文档

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

6 次下载
Petri BPEL
PDF文档

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

6 次下载 ttalli
Petri 满足
PDF文档

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

2 次下载 20125101110
Petri 渗透
PDF文档

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

6 次下载
Petri

Petri 源代码

查看全部 100 份 →
petri.exe
petri.~bpr
petri.~cpp
petri.tds
petri.res
petri.bpr

Petri技术资料简介

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

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