Complete enumeration of minimal siphons in ordinary Petri nets based on problem partitioning. - ShouGuang Wang; Dan You; Carla Seatzu; Alessandro Giua (CDC, 2015)

Controllability of complex siphons for deadlock prevention in Systems of Simple Sequential Processes with Resources. - ShouGuang Wang; Dan You; MengChu Zhou (ICRA, 2015)

New reachability trees for unbounded Petri nets. - ShouGuang Wang; MengChu Zhou; Mengdi Gan; Dan You; Yue Li (ICRA, 2015)

Transformation From Legal-marking Set to Admissible-marking Set of Petri Nets With Uncontrollable Transitions. - ShouGuang Wang; Dan You; MengChu Zhou; Carla Seatzu (CoRR, 2015)

Synthesis of Monitor-Based Liveness-Enforcing Supervisors for 𝕊3 PR With ξ-Resources. - Dan You; Shouguang Wang; Mengchu Zhou (IEEE Trans. Syst. Man Cybern. Syst., 2015)

A new linear constraint transformation approach for Petri nets with uncontrollable transitions. - Dan You; ShouGuang Wang; Carla Seatzu (WODES, 2016)

Optimal supervisor synthesis for petri nets with uncontrollable transitions: A bottom-up algorithm. - ShouGuang Wang; Dan You; Chengying Wang (Inf. Sci., 2016)

Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions. - Shouguang Wang; Dan You; MengChu Zhou; Carla Seatzu (IEEE Trans. Autom. Control., 2016)

Approach for minimal-siphon computation in S4PR. - Dan You; Shouguang Wang; Wenzhan Dai; Wenhui Wu (SMC, 2017)

Computation of an Optimal Transformed Linear Constraint in a Class of Petri Nets With Uncontrollable Transitions. - Dan You; Shouguang Wang; Zhiwu Li 001; Chengying Wang (IEEE Access, 2017)

Computation of strict minimal siphons in a class of Petri nets based on problem decomposition. - Dan You; ShouGuang Wang; MengChu Zhou (Inf. Sci., 2017)

A Necessary and Sufficient Condition for a Resource Subset to Generate a Strict Minimal Siphon in S 4PR. - ShouGuang Wang; Dan You; MengChu Zhou (IEEE Trans. Autom. Control., 2017)

Liveness Enforcement for a Class of Petri Nets via Resource Allocation. - Dan You; Shouguang Wang; Hao Dou; Wenli Duo; Kamel Barkaoui; Carla Seatzu (SMC, 2018)

A Resource Allocation Approach for Enforcing Liveness on a Class of Petri Nets. - Dan You; Shouguang Wang; Hao Dou; Wenli Duo (IEEE Access, 2018)

An Approach for Enumerating Minimal Siphons in a Subclass of Petri Nets. - Dan You; Shouguang Wang; Wenzhan Dai; Wenhui Wu; Yongshu Jia (IEEE Access, 2018)

An Algorithm of Recognizing Unbounded Petri Nets With Semilinear Reachability Sets and Constructing Their Reachability Trees. - Dan You; Shouguang Wang; Wenhui Wu (IEEE Access, 2018)

New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets. - Shouguang Wang; Dan You; Mengchu Zhou (Sci. China Inf. Sci., 2018)

A Novel Approach for Constraint Transformation in Petri Nets With Uncontrollable Transitions. - Shouguang Wang; Dan You; Carla Seatzu (IEEE Trans. Syst. Man Cybern. Syst., 2018)

Stochastic Dual-objective Disassembly Sequence Planning with Consideration of Learning Effect. - Xiwang Guo 001; MengChu Zhou; Yaping Fu; Liang Qi 001; Dan You (ICNSC, 2019)

An iterative Deadlock Prevention Policy Based on siphons. - Qiaoli Zhuang; Dan You; Wenzhan Dai; Shouguang Wang; Jingiing Du (ICNSC, 2019)

A Siphon-Based Deadlock Prevention Strategy for S3PR. - Xin Guo 019; Shouguang Wang; Dan You; Zhifu Li; Xiaoning Jiang (IEEE Access, 2019)

Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions. - Dan You; ShouGuang Wang; Carla Seatzu (Inf. Sci., 2019)

Verification of Fault-predictability in Labeled Petri Nets Using Predictor Graphs. - Dan You; ShouGuang Wang; Carla Seatzu (IEEE Trans. Autom. Control., 2019)

A Survey of Network Attacks on Cyber-Physical Systems. - Liwei Cao; Xiaoning Jiang; Yumei Zhao; Shouguang Wang; Dan You; Xianli Xu (IEEE Access, 2020)

A Deadlock Prevention Policy for a Class of Multithreaded Software. - Wenli Duo; Xiaoning Jiang; Oussama Karoui; Xin Guo 019; Dan You; Shouguang Wang; Yuan Ruan (IEEE Access, 2020)

Generalized Current-State Opacity With Dynamically Changing Secrets. - Dan You; Shouguang Wang; Carla Seatzu (CoRR, 2021)

Computation of an emptiable minimal siphon in a subclass of Petri nets using mixed-integer programming. - Shouguang Wang; Wenli Duo; Xin Guo 019; Xiaoning Jiang; Dan You; Kamel Barkaoui; MengChu Zhou (IEEE CAA J. Autom. Sinica, 2021)

Computation of Minimal Siphons in Petri Nets Using Problem Partitioning Approaches. - Dan You; Oussama Karoui; Shouguang Wang (IEEE CAA J. Autom. Sinica, 2022)

Supervisory Control of Petri Nets in the Presence of Replacement Attacks. - Dan You; ShouGuang Wang; MengChu Zhou; Carla Seatzu (IEEE Trans. Autom. Control., 2022)

Heuristic Scheduling of Batch Production Processes Based on Petri Nets and Iterated Greedy Algorithms. - Ziyan Zhao; Shixin Liu; Mengchu Zhou; Dan You; Xiwang Guo 001 (IEEE Trans Autom. Sci. Eng., 2022)

A Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks. - Dan You; Shouguang Wang; Carla Seatzu (IEEE Trans. Syst. Man Cybern. Syst., 2022)

AutoKary2022: A Large-Scale Densely Annotated Dataset for Chromosome Instance Segmentation. - Dan You; Pengcheng Xia; Qiuzhu Chen; Minghui Wu 001; Suncheng Xiang; Jun Wang 072 (ICME, 2023)

Supervisory Control of Cyber-Physical Systems Subject to Actuator Jamming Attacks. - Wenli Duo; Shouguang Wang; MengChu Zhou; Dan You; Remigiusz Wisniewski; Grzegorz Bazydlo (ICNSC, 2023)

AutoKary2022: A Large-Scale Densely Annotated Dateset for Chromosome Instance Segmentation. - Dan You; Pengcheng Xia; Qiuzhu Chen; Minghui Wu 001; Suncheng Xiang; Jun Wang 072 (CoRR, 2023)

A Refined Siphon-Based Deadlock Prevention Policy for a Class of Petri Nets. - ShouGuang Wang; Xin Guo 019; Oussama Karoui; MengChu Zhou; Dan You; Abdullah Abusorrah (IEEE Trans. Syst. Man Cybern. Syst., 2023)

A Knowledge-Driven Genetic Algorithm With Variable Neighborhood Search for Flexible Job Shop Scheduling Problems. - Tao Zhang; Dan You (ICNSC, 2024)

Improved Local Partitioning Minimal-Siphon Enumeration Method. - Juan Pan; Dan You (IEEE Access, 2024)

Non-Deterministic Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks. - Dan You; Shouguang Wang (IEEE CAA J. Autom. Sinica, 2024)

Supremal and Robust Control Against Actuator Jamming Attacks in Cyber-Physical Systems. - Wenli Duo; Shouguang Wang; MengChu Zhou; Dan You; Remigiusz Wisniewski; Grzegorz Bazydlo; Aiiad Albeshri (IEEE Trans. Intell. Veh., 2024)

Bridge Bidding via Deep Reinforcement Learning and Belief Monte Carlo Search. - Zizhang Qiu; Shouguang Wang; Dan You; MengChu Zhou (IEEE CAA J. Autom. Sinica, 2024)

Designing Liveness-Enforcing Supervisors for Manufacturing Systems by Using Maximally Good Step Graphs of Petri Nets. - Hao Dou; Dan You; Shouguang Wang; MengChu Zhou (IEEE Trans Autom. Sci. Eng., 2025)