首页|期刊导航|自动化学报（英文版）|Identifying Data-Flow Errors in Cyber-Physical Systems Based on the Simplified Merged Process of Petri Nets

Identifying Data-Flow Errors in Cyber-Physical Systems Based on the Simplified Merged Process of Petri Nets

Min Wang Yike Wang Xiao Chen Lu Liu MengChu Zhou Xiaobing Sun Shanchen Pang

自动化学报（英文版）2025，Vol.12Issue(10)：2002-2014,13.

自动化学报（英文版）2025，Vol.12Issue(10)：2002-2014,13.DOI:10.1109/JAS.2025.125549

Identifying Data-Flow Errors in Cyber-Physical Systems Based on the Simplified Merged Process of Petri Nets

Min Wang ¹Yike Wang ¹Xiao Chen ²Lu Liu ³MengChu Zhou ⁴Xiaobing Sun ⁵Shanchen Pang¹

作者信息

1. School of Information Engineering,Yangzhou University,Yangzhou 225127,China
2. School of Computing and Mathematical Sciences,University of Leicester,Leicester LE1 7RH,UK
3. Department of Computer Science,University of Exeter,Exeter EX4 4QJ,UK
4. School of Information and Electronic Engineering,Zhejiang Gongshang University,Hangzhou 310018,China
5. Helen and John C.Hartman Department of Electrical and Computer Engineering,New Jersey Institute of Technology,Newark,NJ 07102 USA
折叠

摘要

关键词

Business process modelling notation(BPMN)/cyber-physical system(CPS)/data-flow errors/discrete event system/fault detection/model simplification/Petri net

Key words

Business process modelling notation(BPMN)/cyber-physical system(CPS)/data-flow errors/discrete event system/fault detection/model simplification/Petri net

引用本文复制引用

Min Wang,Yike Wang,Xiao Chen,Lu Liu,MengChu Zhou,Xiaobing Sun,Shanchen Pang..Identifying Data-Flow Errors in Cyber-Physical Systems Based on the Simplified Merged Process of Petri Nets[J].自动化学报（英文版）,2025,12(10):2002-2014,13.

基金项目

This work is partially supported by the National Natural Science Foundation of China(62402415),and in part by the Natural Science Foundation of Shandong Province of China(ZR2024MF129),and in part by State Key Laboratory of Massive Personalized Customization System and Technology(No.H&C-MPC-2023-02-03). （62402415）

自动化学报（英文版）

ISSN：2329-9266

访问量0

下载量0

段落导航