Author of the publication

Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets.

, , , , and . IEEE Trans. Syst. Man Cybern. Syst., 49 (6): 1164-1174 (2019)

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

Decidability of Minimal Supports of S-invariants and the Computation of their Supported S-invariants of Petri Nets., , , , and . SEKE, page 340-345. Knowledge Systems Institute Graduate School, (2012)Survey of Methods for Time Series Symbolic Aggregate Approximation., , , and . ICPCSEE (1), volume 1058 of Communications in Computer and Information Science, page 645-657. Springer, (2019)Death Risk Prediction of Intensive Care Unit Patients Combined with Treatment Process Mining., , , , and . J. Medical Imaging Health Informatics, 10 (7): 1754-1762 (2020)Deadlock detection-oriented unfolding of unbounded Petri nets., , , , and . Inf. Sci., (2019)A Survey of Detection Methods for Software Use-After-Free Vulnerability., , , and . ICPCSEE (2), volume 1629 of Communications in Computer and Information Science, page 272-297. Springer, (2022)Petri Net Unfolding-Based Detection and Replay of Program Deadlocks., , , , and . IEEE Access, (2024)Hierarchy Modeling and Formal Verification of Emergency Treatment Processes., , , and . IEEE Trans. Syst. Man Cybern. Syst., 44 (2): 220-234 (2014)Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets., , , , and . IEEE Trans. Syst. Man Cybern. Syst., 49 (6): 1164-1174 (2019)Recurrent lobes reduction of stepped-frequency LFM pulse train using ambiguity function., , , and . FUSION, page 1982-1988. IEEE, (2009)