电子政务工作流建模合理性分析

下载PDF

导出

摘要在电子政务系统开发过程中,工作流技术得到了越来越广泛的应用。合理的工作流建模是电子政务有效实施的必要条件,文章提出了基于Petri网的电子政务工作流建模合理性分析的方法。

作者姜桦

机构地区焦作大学信息工程学院

出处《焦作大学学报》 2008年第1期76-77,共2页 Journal of Jiaozuo University

关键词电子政务工作流技术 PETRI网

参考文献1

1WfMC-TC-1012. Workflow Standard Interoperability Abstract Specification [S].
2XU D, He X, Deng Y. Compositional schedulability analysis of real time systems using time Petri nets [J]. IEEE Transaction on Software Engineering, 2002,28(10): 984-996.
3Du Y Y, Jiang C J. Towards a workflow model of real-time cooperative systems [A]. 5th International Conference on Formal Engineering Methods (ICFEM)[C]. Singapore: Springer-Verlag, 2003. 452-470.
4David G Stork, Rob J van Glabbeek. Token-controlled place in hierarchical Petri nets with application to active document workflow [A]. Application and Theory of Petri Nets 2002,23nd International Conference [C]. Adelaide, Australia:Springer-Verlag, 2002. 394-413.
5Juan E Y T, Tsai J J P, Murata T. et al. Reduction methods for real-time systems using delay time Petri nets [J]. IEEE Transactions on Software Engineering, 2001, 27 (5): 422-447.

焦作大学学报

2008年第1期

内容加载中请稍等...