| Decentralized diagnosis by Petri nets and integer linear programming X Cong, MP Fanti, AM Mangini, Z Li IEEE Transactions on Systems, Man, and Cybernetics: Systems 48 (10), 1689-1700, 2017 | 102 | 2017 |
| On-line verification of current-state opacity by Petri nets and integer linear programming X Cong, MP Fanti, AM Mangini, Z Li Automatica 94, 205-213, 2018 | 74 | 2018 |
| A Survey on Cyber–Physical Systems Security Z Yu, H Gao, X Cong, N Wu, HH Song IEEE Internet of Things Journal 10 (24), 21670-21686, 2023 | 70 | 2023 |
| Design of optimal Petri net supervisors for flexible manufacturing systems via weighted inhibitor arcs XY Cong, C Gu, M Uzam, YF Chen, AM Al‐Ahmari, NQ Wu, MC Zhou, ... Asian Journal of Control 20 (1), 511-530, 2018 | 29 | 2018 |
| On-line verification of initial-state opacity by Petri nets and integer linear programming X Cong, MP Fanti, AM Mangini, Z Li ISA transactions 93, 108-114, 2019 | 27 | 2019 |
| Detection of actuator enablement attacks by Petri nets in supervisory control systems Z Yu, X Duan, X Cong, X Li, L Zheng Mathematics 11 (4), 943, 2023 | 22 | 2023 |
| Critical observability of labeled time Petri net systems X Cong, MP Fanti, AM Mangini, Z Li IEEE Transactions on Automation Science and Engineering 20 (3), 2063-2074, 2022 | 17 | 2022 |
| Critical observability of discrete-event systems in a Petri net framework X Cong, MP Fanti, AM Mangini, Z Li IEEE Transactions on Systems, Man, and Cybernetics: Systems 52 (5), 2789-2799, 2021 | 16 | 2021 |
| Critical observability verification and enforcement of labeled Petri nets by using basis markings X Cong, MP Fanti, AM Mangini, Z Li IEEE Transactions on Automatic Control, 2023 | 12 | 2023 |
| Most permissive liveness-enforcing Petri net supervisors for discrete event systems via linear monitors X Cong, A Wang, Y Chen, N Wu, T Qu, M Khalgui, Z Li ISA transactions 92, 145-154, 2019 | 9 | 2019 |
| Optimal Petri net supervisors of discrete event systems via weighted and data inhibitor arcs X Cong, Y Chen, Z Li, N Wu, EA Nasr, AM El-Tamimi IEEE Access 6, 8245-8257, 2018 | 7 | 2018 |
| Mathematical modeling and simulation for COVID-19 with mutant and quarantined strategy Z Yu, J Zhang, Y Zhang, X Cong, X Li, AM Mostafa Chaos, Solitons & Fractals 181, 114656, 2024 | 6 | 2024 |
| On-line algorithm for current state opacity enforcement in a Petri net framework XY Cong, MP Fanti, AM Mangini, ZW Li IFAC-PapersOnLine 51 (7), 349-354, 2018 | 6 | 2018 |
| Decentralized fault diagnosis by Petri nets and integer linear programming X Cong, MP Fanti, AM Mangini, Z Li IFAC-PapersOnLine 50 (1), 13624-13629, 2017 | 5 | 2017 |
| Dynamic modeling and simulation of double-rumor spreaders in online social networks with IS2TR model Z Yu, H Zi, Y Zhang, S Wu, X Cong, AM Mostafa Nonlinear Dynamics 113 (5), 4369-4393, 2025 | 4 | 2025 |
| Critical observability of safe Petri nets via integer linear programming XY Cong, MP Fanti, AM Mangini, ZW Li 2018 IEEE Conference on Decision and Control (CDC), 1029-1034, 2018 | 4 | 2018 |
| Critical observability of Petri nets with unknown initial marking XY Cong, MP Fanti, AM Mangini, ZW Li 2019 IEEE 58th Conference on Decision and Control (CDC), 2003-2008, 2019 | 3 | 2019 |
| Modules of Petri nets and new Petri net structure: Arcs with a weighted function set R Zhu, Q Ban, X Cong Advances in Mechanical Engineering 11 (3), 1687814019833866, 2019 | 2 | 2019 |
| Fuzzing: Progress, Challenges, and Perspectives Z Yu, Z Liu, X Cong, X Li, L Yin CMC-COMPUTERS MATERIALS & CONTINUA 78 (1), 1-29, 2024 | 1 | 2024 |
| Decentralized Marking Fault Diagnosis of Labeled Petri Nets Z Yu, Y Qi, X Cong IEEE Access, 2023 | 1 | 2023 |
