基于人员-时间Petri网的气象业务保障流程模型研究
本文以工作流的基本概念和工作流技术的基本理论为基础,重点研究了气象业务保障流程.根据气象业务保障流程知识密集的特点,突出了”人员”要素在流程中的重要性.从而把”人员”作为一个要素加入时间Petri网中,提出了一种新的工作流建模技术-人员-时间Petri网,并给出了人员-时间Petri网的形式化定义、相关性质以及构建方法.基于Java开发了人员-时间Petri网的建模工具,利用此建模工具对气象业务保障流程进行建模.根据建立的气象业务保障流程的人员-时间Petri网模型,采用Lotus Domino/Notes设计并实现了气象业务保障流程.
工作流 人员时间Petri网 气象业务保障流程 技术人员时间Petri网
王勇 翟建设
解放军理工大学气象学院,211101
国内会议
乌鲁木齐
中文
63-67
2006-08-01（万方平台首次上网日期，不代表论文的发表时间）