基于人员-时间Petri网的气象业务保障流程模型研究
- 作者：王勇翟建设
- 会议时间：2006-08-01
- 关键词：工作流 ; 人员时间Petri网 ; 气象业务保障流程 ; 技术人员时间Petri网
- 作者单位：解放军理工大学气象学院,211101
- 母体文献：信息技术在气象领域的开发应用论文集
- 会议名称：2006年中国气象学会信息技术在气象领域的开发应用研讨会
- 会议地点：乌鲁木齐
- 主办单位：中国气象学会
- 语种：chi
摘要
本文以工作流的基本概念和工作流技术的基本理论为基础,重点研究了气象业务保障流程.根据气象业务保障流程知识密集的特点,突出了"人员"要素在流程中的重要性.从而把"人员"作为一个要素加入时间Petri网中,提出了一种新的工作流建模技术-人员-时间Petri网,并给出了人员-时间Petri网的形式化定义、相关性质以及构建方法.基于Java开发了人员-时间Petri网的建模工具,利用此建模工具对气象业务保障流程进行建模.根据建立的气象业务保障流程的人员-时间Petri网模型,采用Lotus Domino/Notes设计并实现了气象业务保障流程.