Heuristic scheduling of batch production processes based on petri nets and iterated greedy algorithms Z Zhao, S Liu, MC Zhou, D You, X Guo
IEEE Transactions on Automation Science and Engineering 19 (1), 251-261, 2020
164 2020 A survey of network attacks on cyber-physical systems L Cao, X Jiang, Y Zhao, S Wang, D You, X Xu
IEEE Access 8, 44219-44227, 2020
125 2020 A necessary and sufficient condition for a resource subset to generate a strict minimal siphon in S 4PR SG Wang, D You, MC Zhou
IEEE Transactions on Automatic Control 62 (8), 4173-4179, 2017
110 2017 A novel approach for constraint transformation in Petri nets with uncontrollable transitions S Wang, D You, C Seatzu
IEEE Transactions on Systems, Man, and Cybernetics: Systems 48 (8), 1403-1410, 2017
67 2017 A Siphon-Based Deadlock Prevention Strategy for S3 PR X Guo, S Wang, D You, Z Li, X Jiang
IEEE Access 7, 86863-86873, 2019
59 2019 An approach for enumerating minimal siphons in a subclass of Petri nets D You, S Wang, W Dai, W Wu, Y Jia
IEEE Access 6, 4255-4265, 2017
43 2017 A reduced reachability tree for a class of unbounded Petri nets S Wang, M Gan, M Zhou, D You
IEEE/CAA Journal of Automatica Sinica 2 (4), 345-352, 2015
41 2015 Characterization of admissible marking sets in Petri nets with uncontrollable transitions S Wang, D You, MC Zhou, C Seatzu
IEEE Transactions on Automatic Control 61 (7), 1953-1958, 2015
38 2015 Computation of an emptiable minimal siphon in a subclass of Petri nets using mixed-integer programming S Wang, W Duo, X Guo, X Jiang, D You, K Barkaoui, MC Zhou
IEEE/CAA Journal of Automatica Sinica 8 (1), 219-226, 2020
34 2020 Supervisory control of Petri nets in the presence of replacement attacks D You, SG Wang, MC Zhou, C Seatzu
IEEE Transactions on Automatic Control 67 (3), 1466-1473, 2021
32 2021 Synthesis of Monitor-Based Liveness-Enforcing Supervisors for D You, S Wang, M Zhou
IEEE Transactions on Systems, Man, and Cybernetics: Systems 45 (6), 967-975, 2015
31 2015 Verification of fault-predictability in labeled Petri nets using predictor graphs D You, SG Wang, C Seatzu
IEEE Transactions on Automatic Control 64 (10), 4353-4360, 2019
30 2019 A liveness-enforcing supervisor tolerant to sensor-reading modification attacks D You, S Wang, C Seatzu
IEEE Transactions on Systems, Man, and Cybernetics: Systems 52 (4), 2398-2411, 2021
27 2021 A deadlock prevention policy for a class of multithreaded software W Duo, X Jiang, O Karoui, X Guo, D You, S Wang, Y Ruan
IEEE Access 8, 16676-16688, 2020
26 2020 Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions D You, SG Wang, C Seatzu
Information Sciences 501, 635-654, 2019
23 2019 Optimal supervisor synthesis for Petri nets with uncontrollable transitions: A bottom-up algorithm S Wang, D You, C Wang
Information Sciences 363, 261-273, 2016
21 2016 Computation of strict minimal siphons in a class of Petri nets based on problem decomposition D You, SG Wang, MC Zhou
Information Sciences 409, 87-100, 2017
20 2017 A refined siphon-based deadlock prevention policy for a class of Petri nets SG Wang, X Guo, O Karoui, MC Zhou, D You, A Abusorrah
IEEE Transactions on Systems, Man, and Cybernetics: Systems 53 (1), 191-203, 2022
16 2022 New reachability trees for unbounded Petri nets SG Wang, MC Zhou, MD Gan, D You, Y Li
2015 IEEE International Conference on Robotics and Automation (ICRA), 3862-3867, 2015
13 2015 Computation of minimal siphons in Petri nets using problem partitioning approaches D You, O Karoui, S Wang
IEEE/CAA Journal of Automatica Sinica 9 (2), 329-338, 2021
10 2021 
Shouguang WangZhejiang Gongshang UniveristyEmail verificata su zjgsu.edu.cn