Checking Missing-Data Errors in Cyber-Physical Systems Based on the Merged Process of Petri Nets-Reference-Cited by-同舟云学术

Checking Missing-Data Errors in Cyber-Physical Systems Based on the Merged Process of Petri Nets

Published:2023-03 Issue:3 Volume:19 Page:3047-3056
ISSN:1551-3203
Container-title:IEEE Transactions on Industrial Informatics
language:
Short-container-title:IEEE Trans. Ind. Inf.

Author:

Xiang Dongming¹^ORCID,Lin Shuai¹,Wang Xuehui²,Liu Guanjun³^ORCID

Affiliation:

1. Department of Computer Science and Technology, Zhejiang Sci-Tech University, Hangzhou, China

2. Beijing University of Aeronautics and Astronautics, Beijing, China

3. Department of Computer Science, Key Laboratory of Embedded System and Service Computing, Ministry of Education, and Shanghai Electronic Transactions and Information Service Collaborative Innovation Center, Tongji University, Shanghai, China

Funder

National Natural Science Foundation of China

Zhejiang Provincial Key Research and Development Program of China

Zhejiang Provincial Natural Science Foundation of China

Shanghai Municipal Science and Technology Major Project

Fundamental Research Funds for the Central Universities

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Subject

Electrical and Electronic Engineering,Computer Science Applications,Information Systems,Control and Systems Engineering

Link

http://xplorestaging.ieee.org/ielx7/9424/10064202/09794426.pdf?arnumber=9794426

Reference33 articles.

1. PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language

2. Planning via Petri net unfolding;hickmott;Proc Int Joint Conf Artif Intell,0

3. Merged processes: a new condensed representation of Petri net behaviour

4. Formal verification of complex business processes based on high-level Petri nets

5. Supporting Dynamic Workflow Adaptation in a Dataflow-Constrained Workflow Net

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal modelling and validation of a novel building information model;Advances in Engineering Software;2024-11

2. An Optimized Advantage Actor-Critic Algorithm for Disassembly Line Balancing Problem Considering Disassembly Tool Degradation;Mathematics;2024-03-12

3. An Improved Moth-Flame Algorithm for Human–Robot Collaborative Parallel Disassembly Line Balancing Problem;Mathematics;2024-03-11

4. An Improved Discrete Bat Algorithm for Multi-Objective Partial Parallel Disassembly Line Balancing Problem;Mathematics;2024-02-28

5. Improved Design of Concurrent Synchronization System Controller Based on Petri Net;Journal of Web Engineering;2024-02-03