2、Petri网 　　Petri网，简称PNG (Petri Net Graph)。它适用于描述相互独立、协同操作的处理系统，即并发执行的处理系统。在软件需求分析与设计阶段都可以使用。 　　Petri网是一种有向图，它有两种结点："○"表示系统的状态。"―"或"┃"表示系统中的事件。图中的有向边表示对事件的输入，或从事件输出：""表示对事件的输入；""表示事件的结果，即从事件的输出。