Petri网1 1962年德国学者Carl Adam Petri在其博士论文自动机通信中提出的描述事件和条件关系的网络。这种系统模型后来以Petri网为名流传。现在Petri网一词既指这种模型，又指以这种模型为基础发展起来的理论。有时又把Petri网称为网论(net theory)。 Petri网是一种适合于并发、异步、分布式软件系统规格与分析的形式化方法。 Petri网分为位置/迁移Petri网和高级Petri网两类。高级Petri网包括:谓词/迁移Petri网、有色Petri网、计时Petri网等。Petri网的起源2 (1)通讯协议的验证 通讯协议的验证是Petri网应用最为成功的领域之一最初应用在70年代初期，由于 Petri网以形式语言作为基础，可形式化地 对通信协议进行正确性验证。 (2)计算机通讯网络性能评价及多媒体应用 随着计算机网络技术和信息技术的发展，对网络进行性能分析的需要，不仅出现于企业内部的生产控制的局域总线网，而且出现于光纤局域网或ATM网中。 (3)软件工程 由于产品开发中的竞争和革新需要，导致产品开发者面临巨大压力。在软件工程中Petri网主要用于软件系
