好用的Petri网的仿真分析工具，功能齐全，界面清晰，用Java语言编写的交互式编辑器，可用于绘制广义随机Petri网（GSPN）和确定性定时自动机（DTA）。 安装时要先配置好java环境。

NULL 博文链接：https://rept.iteye.com/blog/676904

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

模糊推理Petri网及其在故障诊断中的应用rar,模糊产生式规则 模糊推理Prtri网 模糊推理算法 故障诊断

随即Petri网和系统性能评价PDF版,超星数字图书馆pdg转，不会过期，方便使用。

Petri网基本分析方法 (1)　代数分析技术 代数分析技术主要以关联矩阵的形式对一个网系统的结构给与刻划，然后建立状态可达的线性系统关系(状态方程),这种分析途径最早由Ｐｅｔｅｒｓｏｎ提出, 国内吴哲辉教授等也在这方面进行了出色的研究,其优点在于可以借助线性代数的有关结果,简洁的展现Ｐｅｔｒｉ网的一些性质,尤其是结构性质,但对动态性质的刻划作用有限,比如对可达性的刻划仅仅有一个必要而非充分条件. (2)　图分析技术图 分析技术是以一个有限的有向图(树),直接展现一个网系统的运行机制,如可达图与可覆盖树,类似于一个状态机,其优点是能够反映一个网系统的动态行为和特征,特别是对于有界网系统,它是一个准确的刻划,并且对应一个有限状态机,而对于无界网却只能部分反映.

Petri网仿真工具，Windows环境下可运行，是基于Java平台的Petri网模拟软件。所以在Windows下必需有JDK/JRE作为运行环境方可使用。适合从事Petri网的科学研究工作者。

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

petri网是一种适合于描述异步并发现象的系统模型，它既有严格的数学定义，又有直观的图形表示，既有丰富的系统描述手段和系统行为分析技术，又为计算机科学提供坚实的概念基础。

Ubuntu/Debian 安装指南： 为了解决问题 “导入错误：无法导入名称 _compare_digest” 请安装python 2.7.9： $ wget https://www.python.org/ftp/python/2.7.9/Python-2.7.9.tar.xz $ tar xf Python-2.7.9.tar.xz $ cd Python-2.7.9 $ mkdir ~ /.localpython $ ./configure --prefix=/home/ /.localpython $ make $ make install 创建虚拟环境并安装要求： $ mkvirtualenv -p ~ /.localpython/bin/python2.7 petri_net --no-site-packages $ workon petri_net