petri网入门资料

PeterJ.Haas著StochasticPetriNetsModelling,Stability,Simulation

隐私Petri网和隐私泄漏软件

随机Petri网软件包（SPNP），一个进行随机petri网分析的工具，这个是2000年版本的。不需要积分就可下载

Petri网基础可达性空间生成器 !! 下载注意:! 要下载该软件,请单击“ Petri Net Basis可达性空间生成器V1.0.1.exe”链接进入页面,然后单击“下载”(直接下载整个存储库的压

分享一些有关Petri UML等建模方面的资料。

本文主要介绍业务流程管理的基本概念、相关技术,以及讨论形式化方法/语言对业务流程管理的作用(例Petri 网,过程代数等)。

国内最好的关于随机petri网的书。随机petri网在系统评价、业务流程再造和分析、供应链等方面有很多的应用

spnp作为petri网的模拟工具之一，具有很好的模拟仿真能力，此作为它的使用指南，给spnp的初学者一个良好的开端。

是一种形式化建模方法。常用来构建系统。其他的还有流程图的方式等

讨论各种形式描述技术的特征及其优缺点,从而引出基于PETRI网理论的FDT。该文说明了Petri网作为协议描述技术的优势。