|
|||||
|
|
| 基于人员-时间Petri网的气象业务保障流程模型 | |
| 引用本文： | 翟建设,王勇,吴青.基于人员-时间Petri网的气象业务保障流程模型[J].计算机应用与软件,2008,25(1):49-50,55. |
| 作者姓名： | 翟建设 王勇 吴青 |
| 作者单位： | 1. 解放军理工大学气象学院,江苏,南京,211101;国防科技大学信息系统与管理学院,湖南,长沙,410073 2. 解放军理工大学气象学院,江苏,南京,211101 3. 国防科技大学信息系统与管理学院,湖南,长沙,410073;南京审计学院信息科学学院,江苏,南京,210029 |
| 基金项目： | 国家重点基础研究发展计划(973计划) |
| 摘 要： | 针对气象业务保障流程知识密集的特点,提出了一种新的工作流建模方法:人员-时间Petri网,给出了人员-时间Petri网的形式化定义、相关性质以及建模方法,开发了人员-时间Petri网的建模工具并应用于气象水文保障建模. |
| 关 键 词： | 工作流 时间Petri网 气象业务保障流程 |
| 收稿时间： | 2007-06-06 |
| 修稿时间： | 2007年6月6日 |
A MODEL OF METEOROLOGICAL SUPPORT PROCESS BASED ON ACTOR-TIMED PETRI NET |
|
| Zhai Jianshe,Wang Yong,Wu Qing.A MODEL OF METEOROLOGICAL SUPPORT PROCESS BASED ON ACTOR-TIMED PETRI NET[J].Computer Applications and Software,2008,25(1):49-50,55. | |
| Authors: | Zhai Jianshe Wang Yong Wu Qing |
| Affiliation: | Zhai Jianshe1,2 Wang Yong1 Wu Qing2,31(Institute of Meteorology,PLA University of Science , Technology,Nanjing 211101,Jiangsu,China)2(Institute of Information System , Management,National University of Defense Technology,Changsha 410073,Hunan,China)3(School of Information , Science,Nanjing Audit University,Nanjing 210029,China) |
| Abstract: | 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. |
| Keywords: | Workflow Actor-timed petri net Meteorological support process |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |