Related references
Note: Only part of the references are listed.A Digital Twin Based Industrial Automation and Control System Security Architecture
Christian Gehrmann et al.
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2020)
Implementation of the Manufacturing Execution System in the food and beverage industry
Xinyu Chen et al.
JOURNAL OF FOOD ENGINEERING (2020)
Some Remarks on State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions
Zhou He et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2019)
A Specification-based State Replication Approach for Digital Twins
Matthias Eckhart et al.
CPS-SPC'18: PROCEEDINGS OF THE 2018 WORKSHOP ON CYBER-PHYSICAL SYSTEMS SECURITY AND PRIVACY (2018)
State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions
Francesco Basile et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2015)
Diagnosis of Time Petri Nets Using Fault Diagnosis Graph
Xu Wang et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2015)
Deadlock Prevention for Flexible Manufacturing Systems via Controllable Siphon Basis of Petri Nets
Huixia Liu et al.
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS (2015)
Deadlock-Free Scheduling of Automated Manufacturing Systems Using Petri Nets and Hybrid Heuristic Search
JianChao Luo et al.
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS (2015)
Optimal Supervisory Control of Flexible Manufacturing Systems by Petri Nets: A Set Classification Approach
YuFeng Chen et al.
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2014)
New Petri Net Structure and Its Application to Optimal Supervisory Control: Interval Inhibitor Arcs
YuFeng Chen et al.
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS (2014)
Priority-Based Distributed Manufacturing Process Modeling via Hierarchical Timed Color Petri Net
Y. Q. Lv et al.
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2013)
Efficient Reachability Analysis for Time Petri Nets
Rachid Hadjidj et al.
IEEE TRANSACTIONS ON COMPUTERS (2011)
Process nets with resources for manufacturing modeling and their analysis
M Jeng et al.
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION (2002)
Reachability analysis of real-time systems using time Petri nets
JC Wang et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS (2000)