5.Petri网建模理论基础n n19621962年德国学者年德国学者Carl Carl A.PetriA.Petri在其博士论在其博士论文中提出的描述事件和条件关系的网络文中提出的描述事件和条件关系的网络n n用简单图形较好的表示并发、同步、因果用简单图形较好的表示并发、同步、因果等关系。以等关系。以网图网图的方式简洁、直观的模拟的方式简洁、直观的模拟离散事件系统离散事件系统n n目前已得到广泛应用目前已得到广泛应用,有限状态机、通信协有限状态机、通信协议、同步控制、生产系统、形式语言、多议、同步控制、生产系统、形式语言、多处理器系统等建模中处理器系统等建模中petri网的应用领域n (1)通讯协议的验证 通讯协议的验证是Petri网应用最为成功的领域之一最初应用在70年代初期，由于 Petri网以形式语言作为基础，可形式化地 对通信协议进行正确性验证。n (2)计算机通讯网络性能评价及多媒体应用 随着计算机网络技术和信息技术的发展，对网络进行性能分析的需要，不仅出现于企业内部的生产控制的局域总线网，而且出现于光纤局域网或ATM网中。n (3)软件工程 由于产品开发中的竞争和革新需要
