Petri网是一种适合于系统描述和分析的数学模型，主要描述异步和并发关系。（或者Petri网是对离散并行系统的数学表示，适用于描述异步的，并发的计算机系统模型。）      Petri网模型自然，直观，简单易懂的描述了在分析并行系统的状态行为的技术。 ...