摘要
针对气象业务保障流程知识密集的特点,提出了一种新的工作流建模方法:人员-时间Petri网,给出了人员-时间Petri网的形式化定义、相关性质以及建模方法,开发了人员-时间Petri网的建模工具并应用于气象水文保障建模。
Considering the knowledge-intensive characteristic of meteorological support process, a new workflow model, Actor-timed Petri Net, is proposed. The formal definition and related characters are presented. A modeling tool for Actor-timed Petri Net is developed with Java, and it is applied to the modeling of meteorological support process.
出处
《计算机应用与软件》
CSCD
北大核心
2008年第1期49-50,55,共3页
Computer Applications and Software
基金
国家重点基础研究发展计划973项目子专题(2004CB418301)。