首页|期刊导航|自动化学报（英文版）|Detecting Data-flow Errors Based on Petri Nets With Data Operations`

Detecting Data-flow Errors Based on Petri Nets With Data Operations`

Dongming Xiang Guanjun Liu Chungang Yan Changjun Jiang

自动化学报（英文版）2018，Vol.5Issue(1)：251-260,10.

自动化学报（英文版）2018，Vol.5Issue(1)：251-260,10.DOI:10.1109/JAS.2017.7510766

Detecting Data-flow Errors Based on Petri Nets With Data Operations`

Dongming Xiang ¹Guanjun Liu ¹Chungang Yan ¹Changjun Jiang¹

作者信息

1. Key Laboratory of Embedded System and Service Computing, Ministry of Education,Tongji University, Shanghai 201804, China
折叠

摘要

关键词

Business process modeling/data-flow errors/Petri nets/reachability graph

Key words

Business process modeling/data-flow errors/Petri nets/reachability graph

引用本文复制引用

Dongming Xiang,Guanjun Liu,Chungang Yan,Changjun Jiang..Detecting Data-flow Errors Based on Petri Nets With Data Operations`[J].自动化学报（英文版）,2018,5(1):251-260,10.

基金项目

This work was supported in part by the National Key R&D Program of China (2017YFB1001804) and Shanghai Science and Technology Innovation Action Plan Project (16511100900). （2017YFB1001804）

自动化学报（英文版）

OACSCDEI

ISSN：2329-9266

访问量0

下载量0

段落导航