|
|||||
|
|
| 基于Petri网的审计工作流模型设计与验证 | |
| 作者姓名： | 李博文 李孝忠 |
| 作者单位： | 天津科技大学,电子信息与自动化学院,天津,300222 |
| 摘 要： | 针对计算机审计工作,结合工作流和Petri网方法,建立了一套审计工作流模型.引入了化简的验证方法,并通过化简,对模型进行了正确性验证.利用Petri网的方法,可以降低实际进行计算机审计工作的难度,为审计软件的开发提供了很好的支持. |
| 关 键 词： | Petri网 工作流 审计 |
| 文章编号： | 1001-9081(2006)12Z-0242-02 |
| 修稿时间： | 2006-06-19 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |