petri网的应用领域
(1)通讯协议的验证
通讯协议的验证是Petri网应用最为成功的领域之一最初应用在70年代初期，由于 Petri网以形式语言作为基础，可形式化地 对通信协议进行正确性验证。
(2)计算机通讯网络性能评价及多媒体应用
随着计算机网络技术和信息技术的发展，对网络进行性能分析的需要，不仅出现于企业内部的生产控制的局域总线网，而且出现于光纤局域网或ATM网中。
2023-03-17 14:29:36
1.3MB
1
本书是一本有关Petri网的建模、验证与应用的优秀教学与研究参考书。全书分为5个部分共27章，首先讲解了Petri网的基本概念，通过实例介绍了常量弧网、库所/变迁网和有色网的基本定义。作者接着讨论了如何应用Petri网来构造系统，并给出了各种建模的方法。
2022-05-16 13:44:34
14.55MB
1