期刊文献+

基于Petri网的高校创收跟踪审计系统主控模块工作流建模

Based on Petri net's Audit Tracking System of University Income-generatingmaster Control Module Work Class Modelling
下载PDF
导出
摘要 Petri网通过工作流系统来处理一些大型案例。每个案例有一个唯一的标识,案例在出现和消失之间总是处于某个特定状态,可以充分运用案例的相关属性使用Petri网建立工作流。高校创收项目全程跟踪审计系统就是一个典型的工作流案例,主控模块项目立项、项目实施和项目结算,每个模块内部和模块与模块之间涉及到流程,都需要审批,是工作流的过程。 Petri nets through the workflow system to deal with some major cases. Each case has a unique identifier, case always between appear and disappear in a particular state, the relevant properties of use cases using Petri net based workflow. College income-generating projects follow up audit system is a typical case of workflow, main controlling module project establishment, project implementation and project settlement,each module on a module to the next module and internal implementation involves a same flow, all need approval, is a process of workflow.
出处 《计算技术与自动化》 2013年第3期97-99,共3页 Computing Technology and Automation
基金 湖南省哲学科学基金项目(11YB293)
关键词 PETRI网 全程跟踪审计 工作流建模 案例 Petri net Follow up audit workflow modeling case
  • 相关文献

参考文献6

二级参考文献14

  • 1陈卓,王瑞民.基于Perti网的工作流访问控制模型研究[J].计算机工程与设计,2004,25(12):2176-2178. 被引量:8
  • 2何新贵.模糊Petri网[J].计算机学报,1994,17(12):946-950. 被引量:53
  • 3林闯.基于案例推理系统的Petri网模型[J].计算机学报,1994,17(A00):77-81. 被引量:1
  • 4吴泽辉.Petri网导论[M].机械工业出版社,2006年4月.
  • 5Reisig, Wolfgang. A Primer in Petri Net Design [M]. New York: Springer Compass nternational, 1992:51-68.
  • 6W.M.Aslst, H.M.Arthur.Verification of Workflow Task Struc- tures:A Petri-Net-Based Approach[J]. Information Systems,2000,25 (1):43-69.
  • 7Grudin J.Computer supported Cooperate work[J].History and Fo- cus.Computer. 1994,27(5):57-68.
  • 8Desanctis G.Gallupe B.A foundation for the study of Group De- cision Support Systems[J].Management Scientists. 1987,33(5):68-71.
  • 9马东辉.Lotus Domino/Notes中的安全技术.电子周刊,2001,16(3):41-47.
  • 10魏铁军,陈俊亮.多媒体同步的Petri网模型[J].计算机科学,1998,25(1):63-66. 被引量:4

共引文献32

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部