Author of the publication

New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets.

, , and . Sci. China Inf. Sci., 61 (12): 129104:1-129104:3 (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Siphon-Based Deadlock Prevention Strategy for S3PR., , , , and . IEEE Access, (2019)Stochastic Dual-objective Disassembly Sequence Planning with Consideration of Learning Effect., , , , and . ICNSC, page 29-34. IEEE, (2019)An iterative Deadlock Prevention Policy Based on siphons., , , , and . ICNSC, page 242-246. IEEE, (2019)Liveness Enforcement for a Class of Petri Nets via Resource Allocation., , , , , and . SMC, page 4369-4374. IEEE, (2018)A Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks., , and . IEEE Trans. Syst. Man Cybern. Syst., 52 (4): 2398-2411 (2022)Generalized Current-State Opacity With Dynamically Changing Secrets., , and . CoRR, (2021)Heuristic Scheduling of Batch Production Processes Based on Petri Nets and Iterated Greedy Algorithms., , , , and . IEEE Trans Autom. Sci. Eng., 19 (1): 251-261 (2022)Computation of Minimal Siphons in Petri Nets Using Problem Partitioning Approaches., , and . IEEE CAA J. Autom. Sinica, 9 (2): 329-338 (2022)New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets., , and . Sci. China Inf. Sci., 61 (12): 129104:1-129104:3 (2018)Verification of Fault-predictability in Labeled Petri Nets Using Predictor Graphs., , and . IEEE Trans. Automat. Contr., 64 (10): 4353-4360 (2019)