论文部分内容阅读
基于Petri网的建模方式是一种集图形化和数学化于一身的建模工具,己被广泛应用于各个领域中。以学校档案管理系统为背景,所做的工作主要集中在如何将时间Petri网技术运用在教育档案管理工作流系统的建模中。结合学校档案管理工作流的实际应用环境,提出基于时间Petri网的档案管理系统工作流模型,并利用可达树分析方法,对其进行时序分析,用具体数据分析了档案管理工作流模型的性能。