基于Petri网的审计工作流模型设计与验证

摘要：

针对计算机审计工作,结合工作流和Petri网方法,建立了一套审计工作流模型.引入了化简的验证方法,并通过化简,对模型进行了正确性验证.利用Petri网的方法,可以降低实际进行计算机审计工作的难度,为审计软件的开发提供了很好的支持.

关键词：Petri网、工作流、审计

所属期刊栏目：26

分类号：TP39;TP31(计算技术、计算机技术)

资助基金：天津市教委资助项目20041612

在线出版日期：2007-02-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：242-243