-
题名基于人员-时间Petri网的气象业务保障流程模型
被引量:2
- 1
-
-
作者
翟建设
王勇
吴青
-
机构
解放军理工大学气象学院
国防科技大学信息系统与管理学院
-
出处
《计算机应用与软件》
CSCD
北大核心
2008年第1期49-50,55,共3页
-
基金
国家重点基础研究发展计划973项目子专题(2004CB418301)。
-
文摘
针对气象业务保障流程知识密集的特点,提出了一种新的工作流建模方法:人员-时间Petri网,给出了人员-时间Petri网的形式化定义、相关性质以及建模方法,开发了人员-时间Petri网的建模工具并应用于气象水文保障建模。
-
关键词
工作流
时间petri网
气象业务保障流程
-
Keywords
workflow actor-timed petri net meteorological support process
-
分类号
TP37
[自动化与计算机技术—计算机系统结构]
-
-
题名工作流技术研究发展状况、研究内容及趋势
被引量:8
- 2
-
-
作者
陈洪娜
祖旭
周峰
-
机构
大连理工大学机械工程学院
-
出处
《重庆工学院学报》
2006年第2期65-69,共5页
-
基金
国家自然科学基金资助项目(50175113)
高等学校全国优秀博士学位论文作者专项基金资助项目(200232)
太原重型机械集团有限公司资助课题(200501)
-
文摘
工作流技术是计算机技术应用的一个重要方面,也是并行工程实施过程中的一项重要的技术.介绍了工作流技术的发展历史及国内外研究现状,对工作流技术中的一些相关概念、研究内容和应用情况做了较为全面的论述,并对工作流技术存在的问题以及它与协同设计、管理科学的关系进行了探讨.
-
关键词
工作流管理系统(WFMS)
过程建模
petri网
计算机协同设计(CSCD)
-
Keywords
workflow management system (WFMS)
process modeling
petri net
computer-supported collaborative design(CSCD)
-
分类号
TP39
[自动化与计算机技术—计算机应用技术]
-
-
题名运用工作流管理系统的装备保障指挥模型
- 3
-
-
作者
陈乐
李世英
曲长征
张柳
于永利
-
机构
军械工程学院维修工程研究所
-
出处
《兵工自动化》
2007年第3期18-19,共2页
-
基金
武器装备预研项目(51319160101)
-
文摘
采用Petri网建模方法,参照工作流参考模型组件和接口,基于VC++开发了图形化的建模工具。以车辆装备大中修管理为例,建立基于Petri网的工作流业务过程模型,映射成经典Petri网,并将其转换成工作流过程定义语言。用ExSpect对工作流模型仿真,以分析模型的正确性及运行效能。
-
关键词
装备保障指挥
工作流管理系统
业务过程建模
petri网
-
Keywords
Equipment support command
workflow management system
Business process modeling
petri net
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
TN915.02
[电子电信—通信与信息系统]
-