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 S3PR 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 | 52 | 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 |