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
106 2017 A method to compute strict minimal siphons in a class of Petri nets based on loop resource subsets SG Wang, CY Wang, MC Zhou, ZW Li
IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and …, 2011
102 2011 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
98 2020 Controllability conditions of resultant siphons in a class of Petri nets SG Wang, CY Wang, MC Zhou
IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and …, 2011
76 2011 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
63 2017 An improved approach to test diagnosability of bounded Petri nets N Ran, H Su, S Wang
IEEE/CAA Journal of Automatica Sinica 4 (2), 297-303, 2017
61 2017 A new modified reachability tree approach and its applications to unbounded Petri nets SG Wang, MC Zhou, ZW Li, CY Wang
IEEE Transactions on systems, man, and cybernetics: systems 43 (4), 932-940, 2013
59 2013 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
56 2019 Design of optimal monitor-based supervisors for a class of Petri nets with uncontrollable transitions SG Wang, CY Wang, MC Zhou
IEEE Transactions on Systems, Man, and Cybernetics: Systems 43 (5), 1248-1255, 2013
53 2013 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 Simultaneous reduction of Petri nets and linear constraints for efficient supervisor synthesis J Luo, H Ni, W Wu, S Wang, M Zhou
IEEE Transactions on Automatic Control 60 (1), 88-103, 2014
43 2014 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
40 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
30 2020 Synthesis of Monitor-Based Liveness-Enforcing Supervisors for PR With -Resources D You, S Wang, M Zhou
IEEE Transactions on Systems, Man, and Cybernetics: Systems 45 (6), 967-975, 2015
29 2015 Design of a maximally permissive liveness‐enforcing supervisor with reduced complexity for automated manufacturing systems SG Wang, MC Zhou, WH Wu
Asian Journal of Control 17 (1), 190-201, 2015
29 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
28 2019 Macro liveness graph and liveness of ω-independent unbounded nets SG Wang, MD Gan, MC Zhou
Science China. Information Sciences 58 (3), 1-10, 2015
28 2015 Fault diagnosis for discrete event systems modeled by bounded Petri nets N Ran, S Wang, H Su, C Wang
Asian Journal of Control 19 (4), 1532-1541, 2017
26 2017 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
24 2020