petri网编辑与分析工具

用于petri网的专业画图工具。解压版，运行bin文件中，nd即可，支持windows系统。

基于随机Petri网的可重构核心单元建模与分析，曾国荪，王福焕，可重构体系结构是当前高性能并行计算的一个重要发展方向。可重构核心单元是新概念高效能新型计算机研制的原型系统的关键部分，该

论文研究-基于广义随机Petri网的供应链建模与分析.pdf,

以确定与随机Petri网为工具，基于周期消息，对光纤通道在航空电子环境的FC-AE-ASM（fiber channel anonymous subscriber messaging）网络进行建模仿真，

通过分析与煤矿瓦斯爆炸相关的危险源,将Petri网理论与瓦斯爆炸演变过程结合起来,构建了基于Petri网的瓦斯爆炸演变模型GEFRPN,并得出了如下结论:从瓦斯爆炸演变模型的推理过程可以很清楚地看到瓦

延迟时间Petri网（DelayTimePetriNets，DTPN）是一类重要的时间扩展Petri网系统，解决了其他时间扩展Petri网（如时间Petri网）在保存时间约束时所面临的困难。可调度验证

逻辑Petri网是一种增广Petri网模型,具有与图灵机等价的建模能力。颜色逻辑Petri网解决了逻辑Petri网中输出的不确定性表达问题。然而颜色逻辑Petri网描述不同子系统的并发过程,需要对每一

在系统地研究了时间约束 Pet ri 网的基础上, 提出了一般的状态可达性分析方法。通过讨论任 意拓扑结构 TCPN′ s 的可调度分析, 克服了以往 T CPN′ s 可达性分析方法的局限性, 显示

关于uml转换为petri，很丰富的介绍

国外出的非常经典的有色petir网教程相信这部书的作者大名各位都听说过很权威细致。