本书是一本有关Petri网的建模、验证与应用的优秀教学与研究参考书。全书分为5个部分共27章，首先讲解了Petri网的基本概念，通过实例介绍了常量弧网、库所/变迁网和有色网的基本定义。作者接着讨论了如何应用Petri网来构造系统，并给出了各种建模的方法。
2022-05-16 13:44:34
14.55MB
1
Tina是一款对时间Petri网支持得比较好的软件，也是用得较多的一款软件。它的运行程序是解压后/bin目录下的nd.exe文件(NetDraw)，适用于Windows和Linux操作系统，也就是说他的移植性很好。
2019-12-21 20:27:37
7.5MB
1