首页 | 本学科首页   官方微博 | 高级检索  
     

基于petri网的文件审批系统工作流建模
引用本文:刘继承,张爱茹,李征鸿,张严,任梓健.基于petri网的文件审批系统工作流建模[J].微型机与应用,2013,32(2):77-80.
作者姓名:刘继承  张爱茹  李征鸿  张严  任梓健
作者单位:1. 东北石油大学电气信息工程学院,黑龙江大庆,163318
2. 大庆油田天然气分公司检测中心,黑龙江大庆,163318
3. 大庆油田电力集团供电公司铁人工区变检二队,黑龙江大庆,163451
4. 采油六厂规划设计研究所,黑龙江大庆,163318
基金项目:黑龙江省高等学校科技创新团队建设计划项目(2011TD008)
摘    要:以工作流技术为基础,将基于petri网的建模方法应用到文件审批系统的分析过程中,构建系统的petri网模型,并利用petri网化简规则,对该模型进行了结构上的正确性验证;同时,通过模型的可覆盖树对模型的可达性、活性、有界性等petri网的性质进行了验证.结果证明,该技术能够在文件审批系统中进行建模和可行性验证.

关 键 词:文件审批系统  petri网  工作流  模型映射与化简

Modeling of petri-net-based document circulation system workflow
Liu Jicheng , Zhang Airu , Li Zhenghong , Zhang Yan , Ren Zijian.Modeling of petri-net-based document circulation system workflow[J].Microcomputer & its Applications,2013,32(2):77-80.
Authors:Liu Jicheng  Zhang Airu  Li Zhenghong  Zhang Yan  Ren Zijian
Affiliation:4 ( 1 . College of Electrical and Information Engineering , Northeast Petroleum University , Daqing 163318 , China ; 2 . Daqing Oil Field Gas Branch Testing Center , Daqing 163318 , China ; 3 . The Second Team of Variable Inspection , Iron Man Work Area , Daqing Oil Field Power Group Power Supply Company , Daqing 163451 , China ; 4 . Oil Recovery Sixth Factory Planning and Design Institute , Daqing 163318 , China )
Abstract:
Keywords:
本文献已被 CNKI 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号