基于petri网的文件审批系统工作流建模

【文件属性】：
文件名称：基于petri网的文件审批系统工作流建模
文件大小：328KB
文件格式：PDF
更新时间：2020-10-18 00:56:08
文件审批系统 以工作流技术为基础，将基于petri网的建模方法应用到文件审批系统的分析过程中，构建系统的petri网模型，并利用petri网化简规则，对该模型进行了结构上的正确性验证；同时，通过模型的可覆盖树对模型的可达性、活性、有界性等petri网的性质进行了验证。结果证明，该技术能够在文件审批系统中进行建模和可行性验证。