Author of the publication

Liveness Analysis of ω-Independent Petri Nets Based on New Modified Reachability Trees.

, , , , and . IEEE Trans. Syst. Man Cybern. Syst., 47 (9): 2601-2612 (2017)

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 Novel Family of Parallel Mechanisms With Synchronous Telescopic Parallelograms., , , , and . IEEE Access, (2019)Smale Horseshoes and Symbolic Dynamics in the Buck-Boost DC-DC Converter., , , and . IEEE Trans. Ind. Electron., 65 (1): 800-809 (2018)Modeling and Analysis for Mobile Computing Systems Based on Petri Nets: A Survey., and . IEEE Access, (2018)Research on predicting 2D-HP protein folding using reinforcement learning with full state space., , , , , and . BMC Bioinform., 20-S (25): 685 (2019)Model Checking of Variable Petri Nets by Using the Kripke Structure., , , , and . IEEE Trans. Syst. Man Cybern. Syst., 52 (12): 7774-7786 (2022)Modeling and Analysis of Three Properties of Mobile Interactive Systems Based on Variable Petri Nets., , , and . IEEE Trans Autom. Sci. Eng., 20 (4): 2479-2491 (October 2023)A spatial correlation prediction model of urban PM2.5 concentration based on deconvolution and LSTM., , , , , , and . Neurocomputing, (August 2023)Detecting Bifurcation Types and Characterizing Stability in DC-DC Switching Converters by Duplicate Symbolic Sequence and Weight Complexity., , , and . IEEE Trans. Ind. Electron., 60 (8): 3145-3156 (2013)Detect and analyse the concurrent flaws of the BPEL process in a VPN-based approach., , and . Int. J. Serv. Technol. Manag., 26 (2/3): 182-201 (2020)Stability analysis of buck converter based on periodic switched affine systems., , and . IECON, page 1575-1579. IEEE, (2017)