论文部分内容阅读
设计了一种基于Petri网扩展的、用于复杂工作流模型设计的建模方法及其相关规则。并且通过电子政务系统的网上审批子系统为例，详细阐述了用此方法及其相关规则构建Petri网工作流模型的过程。最后通过Petri网理论对模型进行了正确合理性分析，并对网上审批子系统的资源分配情况进行了定量分析。此建模方法简化了Petri网的建模过程。并保证了正确性和合理性。资源分配的分析结果对合理的进行资源分配有指导作用。