PETRI建模理论基础.ppt

petri网的应用领域 (1)通讯协议的验证 通讯协议的验证是Petri网应用最为成功的领域之一最初应用在70年代初期，由于 Petri网以形式语言作为基础，可形式化地 对通信协议进行正确性验证。 (2)计算机通讯网络性能评价及多媒体应用 随着计算机网络技术和信息技术的发展，对网络进行性能分析的需要，不仅出现于企业内部的生产控制的局域总线网，而且出现于光纤局域网或ATM网中。 (3)软件工程 由于产品开发中的竞争和革新需要，导致产品开发者面临巨大压力.在软件工程中Petri网主要用于软件系统的建模和分析，比较成熟的是加色Petri网，可以用于大型软件系统的设计、说明、仿真、确认和实现，在软件开发生命周期的各个阶段，Petri网都可以得到很好的应用。 (4)知识处理 Petri网可用于Al中的知识表达和推理的形式化模型的建立，可以表达各个活动之间的各种关系，如顺序关系、与关系、或关系等，并可在模型基础上通过已知的初始状态和初始条件进行逻辑推理。 (5)FMS的建模、分析和控制 柔性制造系统(FMS)对于现代制造业具有重要作用，Petri网由于其自身优点，在制造系统中应用广泛，如带缓冲区的简单生产线、机床加工中心、自动生产线、柔性制造系统和及时加工系统。 (6)系统可靠性分析 系统的可靠性不仅包括硬件的可靠性、也包括软件可靠性.利用随机Pet