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

针对气象业务保障流程知识密集的特点,提出了一种新的工作流建模方法:人员-时间Petri网,给出了人员-时间Petri网的形式化定义、相关性质以及建模方法,开发了人员-时间Petri网的建模工具并应用于气象水文保障建模。

工作流技术研究发展状况、研究内容及趋势

工作流技术是计算机技术应用的一个重要方面,也是并行工程实施过程中的一项重要的技术.介绍了工作流技术的发展历史及国内外研究现状,对工作流技术中的一些相关概念、研究内容和应用情况做了较为全面的论述,并对工作流技术存在的问题以及它与协同设计、管理科学的关系进行了探讨.

运用工作流管理系统的装备保障指挥模型

采用Petri网建模方法,参照工作流参考模型组件和接口,基于VC++开发了图形化的建模工具。以车辆装备大中修管理为例,建立基于Petri网的工作流业务过程模型,映射成经典Petri网,并将其转换成工作流过程定义语言。用ExSpect对工作流模型仿真,以分析模型的正确性及运行效能。