📚 petri技术资料

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

🔥 petri热门资料

查看全部52个资源 »

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

⬇️ 6 次下载
Petri BPEL

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

👤 ttalli ⬇️ 6 次下载
Petri 满足

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

👤 20125101110 ⬇️ 2 次下载
Petri 渗透

💻 petri源代码

查看更多 »
💻
petri.exe
💻
petri.~bpr
💻
petri.~cpp
💻
petri.tds
💻
petri.res
💻
petri.bpr
📂 petri资料分类
🔥 热门资料 查看最受欢迎的资源 💻 源代码 程序代码与工程文件 📚 全部资料 52 个资源