|国家科技期刊平台
| 注册
首页|期刊导航|信息工程大学学报|基于着色Petri网的混合工作流建模及合理性分析

基于着色Petri网的混合工作流建模及合理性分析

单继城 黄光奇 王德鑫 刘青宝

信息工程大学学报2015，Vol.16Issue(2)：218-224,7.
✕
信息工程大学学报2015，Vol.16Issue(2)：218-224,7.DOI:10.3969/j.issn.1671-0673.2015.02.017

基于着色Petri网的混合工作流建模及合理性分析

Hybrid Workflow Modeling and Verification Based on Coloured Petri-Nets

单继城 1黄光奇 1王德鑫 2刘青宝1

作者信息

  • 1. 国防科技大学信息系统工程重点实验室,湖南长沙410073
  • 2. 广州军区空军指挥自动化站,广东广州510072
  • 折叠

摘要

关键词

混合工作流/BPEL4People/着色Petri网/建模验证

分类

信息技术与安全科学

引用本文复制引用

单继城,黄光奇,王德鑫,刘青宝..基于着色Petri网的混合工作流建模及合理性分析[J].信息工程大学学报,2015,16(2):218-224,7.

基金项目

国家自然科学基金资助项目(70771110) （70771110）

信息工程大学学报

1671-0673

访问量6
|
下载量0
段落导航相关论文