Harbin Water Supply Network Monitoring and Evaluation. - Zu Qian; Jinliang Gao; Wenyan Wu 002; X. Q. Hou; Yingbin Wu; L. Tao; Ning Ran (ICNSC, 2007)

Optimal monitor-based supervisor sythesis for a class of Petri nets with unobservable transitions. - Ning Ran; Hongye Su; Weimin Wu 002; Shouguang Wang; Huixia Liu (ICNSC, 2015)

Codiagnosability verification of bounded Petri nets using basis markings. - Ning Ran; Hongye Su; Alessandro Giua; Carla Seatzu (CDC, 2016)

An improved approach to test diagnosability of bounded petri nets. - Ning Ran; Hongye Su; Shouguang Wang (IEEE CAA J. Autom. Sinica, 2017)

Supervisor synthesis for enforcing linear constraints on a class of Petri nets with unobservable transitions. - Ning Ran; Shouguang Wang; Hongye Su; Chengying Wang (IMA J. Math. Control. Inf., 2017)

Comments on "Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis". - Ning Ran; Shouguang Wang; Hongye Su (IEEE Trans. Autom. Control., 2017)

Diagnosability analysis of bounded Petri nets. - Ning Ran; Jinyuan Hao; Zhou He 001; Carla Seatzu (ETFA, 2018)

Firing Rate Optimization of Deterministic Timed Event Graphs by Server Performance Improvement. - Zhou He 001; Miao Liu; Ning Ran; Zhiwu Li 001 (IEEE Access, 2018)

Event Feedback Supervision for a Class of Petri Nets With Unobservable Transitions. - Ning Ran; Shouguang Wang; Wenhui Wu (IEEE Access, 2018)

Codiagnosability Analysis of Bounded Petri Nets. - Ning Ran; Hongye Su; Alessandro Giua; Carla Seatzu (IEEE Trans. Autom. Control., 2018)

K-Codiagnosability Verification of Labeled Petri Nets. - Ning Ran; Jinyuan Hao; Zijian Dong; Zhou He 001; Zhiheng Liu; Yuan Ruan; Shouguang Wang (IEEE Access, 2019)

Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection. - Ning Ran; Alessandro Giua; Carla Seatzu (IEEE Trans. Autom. Control., 2019)

Diversity Technology Research in Wireless Communication Systems. - Ning Ran; Lina Yuan; Anran Zhou (CCCE, 2022)

Prognosability Analysis and Enforcement of Bounded Labeled Petri Nets. - Ning Ran; Jinyuan Hao; Carla Seatzu (IEEE Trans. Autom. Control., 2022)

Security-Preserving Multi-Robot Path Planning for Boolean Specification Tasks Using Labeled Petri Nets. - Weijie Shi; Zhou He 001; Ziyue Ma; Ning Ran; Xiang Yin 003 (IEEE Control. Syst. Lett., 2023)

Codiagnosability Enforcement in Labeled Petri Nets. - Ning Ran; Tingting Li; Zhou He 001; Carla Seatzu (IEEE Trans. Autom. Control., 2023)

Performance Optimization for a Class of Petri Nets. - Weijie Shi; Zhou He 001; Chan Gu; Ning Ran; Ziyue Ma (Sensors, 2023)

Bisimulation non-interference analysis of bounded Petri nets. - Ning Ran; Jinyuan Hao; Zhou He 001; Mauro Franceschelli; Carla Seatzu (CoDIT, 2024)

Multi-Robot Path Planning With Boolean Specification Tasks Under Motion Uncertainties. - Zhe Zhang; Zhou He 001; Ning Ran; Michel A. Reniers (IROS, 2024)

Security-Based Path Planning of Multi-Robot Systems by Partially Observed Petri Nets and Integer Linear Programming. - Zhou He 001; Jiaxing Yuan; Ning Ran; Xiang Yin 003 (IEEE Control. Syst. Lett., 2024)

Fine-grained and coarse-grained contrastive learning for text classification. - Shaokang Zhang; Ning Ran (Neurocomputing, 2024)

Contrastive learning based on linguistic knowledge and adaptive augmentation for text classification. - Shaokang Zhang; Ning Ran (Knowl. Based Syst., 2024)

Supervisor Synthesis for Petri Nets With Uncontrollable and Unobservable Transitions. - Ning Ran; Tingting Li; Shouguang Wang; Zhou He 001 (IEEE Trans Autom. Sci. Eng., 2024)

Noninterference Analysis of Bounded Petri Nets Using Basis Reachability Graph. - Ning Ran; Jingyao Nie; Aiwen Meng; Carla Seatzu (IEEE Trans. Autom. Control., 2024)

Enhanced Monte-Carlo tree search for dynamic flexible job shop scheduling with transportation time constraints. - Zhonghui He; Biao Tang; Chan Gu; Ning Ran (Expert Syst. J. Knowl. Eng., 2025)

Optimal Task and Motion Planning for Autonomous Systems Using Petri Nets. - Zhou He 001; Shilong Yuan; Ning Ran; Dimitri Lefebvre (CoRR, 2025)

Scheduling of Flexible Manufacturing Systems Based on Place-Timed Petri Nets and Basis Reachability Graphs. - Zhou He 001; Ning Li; Ning Ran; Liang Li (CoRR, 2025)

Optimal Path Planning for Multi-Robot Systems Using Petri Nets. - Zhou He 001; Shilong Yuan; Ning Ran; Dimitri Lefebvre (IEEE Robotics Autom. Lett., 2025)