因为research的关系，想学一下petri net的相关知识。以下记录了我最近的一些学习体会。 Petri Net最早是一个物理学家创立，为了描述并发现象。由于现在越来越多的系统具有了并行、分布式等特性，需要一种能够描述这种复杂庞大系统的模型，Petri Net以及它的一些衍生模型恰恰能满足这样的需求，因此越来越多地被大家使用、研究。

Petri Net知识

Petri Net定义如下:

PN = (P,T,I-,I+,M0)
P 表示位置p的集合
T 表示变迁t的集合
I- 表示由p到t的权重函数集合
I+ 表示由t到p的权重函数集合
M0 表示初始标识，标识M(p)可以一般的理解为位置p上的元素个数

一般知道这些概念之后就可以看懂Petri Net了，诸如enabled, fire, reachable tree等概念都很朴素，和我们一般的理解一样。只是严谨的表述之后，就显得晦涩难懂了。 （未完待续）

一些资料

Petri Net的官方网站： http://www.informatik.uni-hamburg.de/TGI/PetriNets，上面的资料很全。

这里特别推荐其中的一本 “Stochastic Petri Nets - An Introduction to the Theory” 一书，可以在网上方便下载到。推荐这本书有两个原因。其一，这本书包含了markov 过程、排队论，最后到petri net和随机petri net。讲的很仔细，对于缺乏随机过程或排队论知识的同学应该会很有帮助，毕竟现在用petri net很少有不加stochastic的了。其二，里面数学公式非常严谨，里面markov过程的一些公式推导其实没有那么重要，但是看一看也无妨。排队论讲的不多，但基本知识点都带到了。Petri Net的一些性质讲的有些啰嗦，个人感觉大多用不到，很多都只是数学上的游戏。

如果要看中文的，林闯教授的《随机Petri网和系统性能评价（第二版）》可以一看，这本书有点难找，网上下载的质量不高，图书馆也不太好找。