摘要
以电子政务系统中的审批子系统为例，研究了一种基于Petri网的电子政务工作流建模方法，该方法是工作流建模和分析的理想工具．具有完全形式化的图形表示和坚实的数学基础。在建立电子政务工作流工作流模型的基础上，论证了该方法的正确性，表明该方法对电子政务系统建模是实用的。
Examination and Approval subsystem in e-government system is described, a modeling of Petri-net based on e-government system work-flow is researched. Petri-net is a wise choice to model and analyze workflow for its solid mathematical foundations and explicit structures based on graphic. Furthermore, the correctness is proved, application results show that the modeling method is effectiveness of e-government system.
作者
刘宝代
张建
刘振栋
LIU Bao-dai, ZHANG Jian, LIU Zhen-dong （Department of Computer Science and Technology, Shandong Jianzhu University, Ji＇nan 250101, China）
出处
《电脑知识与技术》
2009年第4期2627-2629,共3页
Computer Knowledge and Technology
基金
山东省自然科学基金“基于茎区包含假接点的RNA二级结构预测算法研究”（Y2008G29）
