基于Petri网的电子政务系统建模与分析

针对电子政务系统中事件是随机并行发生的特点,结合Petri网描述并发系统的强大能力,提出了利用Petri网理论来建立电子政务系统模型。给出了一个已实现工程项目的建模实例,并对模型的正确性和有效性进行了分析。