基于Petri网的公文流转系统工作流建模分析

公文流转系统是电子政务的核心内容。本文使用高级Petri网对公文流转过程中的收文管理进行建模,并对所建模型进行正确性分析。