基于高级Petri网的审计业务流程建模
被引量：1
摘要
本文在介绍基本Petri网的概念后,给出了面向对象工作流网的定义,分析了它的特点,以面向对象工作流网作为工具,建立了审计业务流程模,旨在以模型为基础进行流程性能分析,为流程优化提供分析手段。
出处
《福建电脑》
2007年第11期104-105,共2页
Journal of Fujian Computer
二级参考文献52
-
1T. Murata. Petri nets: Properties, analysis and applications.Proceedings of the IEEE, 1989, 77(4) : 541-580.
-
2W. Sadiq, M. Orlowska. Applying graph reduction techniques for identifying structural conflicts in process models. In: Proc. of the 11th Int'l Conf. on Advanced Information Systems Engineering(CAiSE'99). Berlin: Springer Verlag, 1999. 195-209.
-
3W. Sadiq, M. Orlowska. Analyzing process models using graph reduction techniques. Information System, 2000, 25(2): 117-134.
-
4H. Lin, Z. Zhao, H. Li, et al. A novel graph reduction algorithm to identify structural conflicts. In: Proc. of the 35th Hawaii Int'l Conf. on System Sciences (HICSS-35) . LosAlamitos, CA: IEEE Computer Society Press, 2002. 289-290.
-
5Li Pei-wu, Lu Zheng-ding. Reduction techniques of workflow verification and its implementation. In: Hart Yanbo, Shi Meilin eds. Proc. of Int'l Workshop on Grid and Cooperative Computing. Beijing: Publishing House of Electronics Industry,2002. 703--710.
-
6H. Genrich. Equivalence transformations of PrT-Nets. In: G.Rozenberg ed.. Advances in Petri nets. Berlin: Springer, 1990.179-- 208.
-
7S. Haddad. A reduction theory for coloured nets. In: K. Jensen,G. Rozenberg eds.. LNCS: High Level Petri Nets, Theory and Application. Berlin: Springer Verlag, 1991. 399-425.
-
8R. Sloan, U. Buy. Reduction rules for time Petri nets. Acta Informatica, 1996, 33(7): 687--706.
-
9K. Schmidt. Applying reduction rules to algebraic Petri nets.Helsinki University of Technology, Tech. Rep. : 44, 1997.
-
10C. Ramamoortht, Y. Yaw. A Petri net reduction algorithm forprotocol analysis. In: W. Kosinsky, et al. eds.. Communications and Architecture & Protocols. New York: Association for Computing Machinery, 1986. 157-- 166.
共引文献59
-
1郑红,明仲.CORBA工作流时间Petri网建模与分析[J].深圳大学学报（理工版）,2009,26(1):42-46.
-
2汪冬,韩玉民,张红福.基于Petri网的工作流管理系统的设计与实现[J].广州航海高等专科学校学报,2004,12(2):29-32.
-
3余一,于跃,陆倜.工作流建模技术在出版信息系统中的应用[J].北京机械工业学院学报,2005,20(1):56-59. 被引量：1
-
4陆剑江,杨季文,张霞.基于短消息的移动工作流平台的设计与研究[J].计算机工程与设计,2005,26(4):1069-1072. 被引量：2
-
5蒋国银,何跃.基于高级对象Petri网的工作流过程建模研究[J].系统工程理论与实践,2005,25(3):86-95. 被引量：17
-
6周如旗.基于扩展Petri网的文本分类模型[J].电脑与信息技术,2005,13(4):7-9.
-
7杨刚,黄迪明,秦巧.基于工作流建模过程中的验证技术的分析[J].福建电脑,2006,22(1):63-64.
-
8汪文元,沙基昌,谭东风.基于Petri网和UML活动图工作流建模比较[J].系统仿真学报,2006,18(2):504-507. 被引量：18
-
9陆剑江,钱培德,杨季文.基于状态控制的动态柔性工作流[J].计算机集成制造系统,2006,12(2):257-263. 被引量：5
-
10周建涛,叶新铭.基于组件级化简的语义验证方法在电子商务过程中的应用[J].内蒙古大学学报（自然科学版）,2006,37(2):195-200. 被引量：1
同被引文献8
-
1丁志军,刘海峰,蒋昌俊.审计缓冲区的形式化模型及其验证[J].计算机科学,2006,33(5):98-103. 被引量：1
-
2张瑞君,蒋砚章.会计信息系统[M].北京:中国人民大学出版社,2009.
-
3Huang Shiming, YEN D C, HUNG Y C, et al.A business process gap detecting mechanism between information systemprocess flow an internal control flow[J].Decision Support Systems, 2009,47(4) : 436-454.
-
4AAIsTVW,HEEKV.工作流管理[M].王建民,闻立杰,译.北京:清华大学出版社,2004.
-
5NIELSEN R.SQL Server2008宝典[M].马振晗,任鸿,高字辉,译.北京:清华大学出版社.2011.
-
6王保云,杨英杰,常德显,吴蓓.一种安全审计事件时空逻辑关系可视化方法[J].计算机工程,2009,35(2):151-153. 被引量：1
-
7李国栋,宋斌,柳长安.基于Petri网的组件化工作流模型研究[J].微计算机信息,2009,25(30):104-106. 被引量：1
-
8李博文,李孝忠.基于Petri网的审计工作流模型设计与验证[J].计算机应用,2006,26(S2):242-243. 被引量：2
