基于人员-时间Petri网的气象业务保障流程建模

摘要

本文以工作流的基本概念和工作流技术的基本理论为基础，重点研究了气象业务保障流程。根据气象业务保障流程知识密集的特点，突出了“人员”要素在流程中的重要性。从而把“人员”作为-个要素加入时间Petri网中.提出了一种新的工作流建模技术--人员-时间Petni伍网。并且基于Javat开发了人员-时间Petvi网的建模工具.利用此建模工具对气象业务保障流程进行建模。根据建立的气象业务保障流程的人员-时间Peui网模理，基于Lotus Domim/Notes设计并实现了气象业务保障流程。最后，阐述了人员-时间Petri网建模工具在-体化联合作战气象水文保障中的重要作用。