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

Fully Expanded Tree for Property Analysis of One-Place-Unbounded Petri Nets., , , , and . IEEE Trans. Syst. Man Cybern. Syst., 47 (9): 2574-2585 (2017)A hybrid interpretable credit card users default prediction model based on RIPPER., , and . Concurr. Comput. Pract. Exp., (2018)QoS-Constrained Service Selection for Networked Microservices., , and . IEEE Access, (2020)A Method for Learning a Petri Net Model Based on Region Theory., , , and . Comput. Informatics, 39 (1): 174-192 (2020)A genetic algorithm based approach to transactional and QoS-aware service selection., , , , and . Enterprise IS, 11 (3): 339-358 (2017)Incremental Learning Method for Data with Delayed Labels., , and . Comput. Informatics, 41 (5): 1260-1283 (2022)Liveness Analysis of ω-Independent Petri Nets Based on New Modified Reachability Trees., , , , and . IEEE Trans. Syst. Man Cybern. Syst., 47 (9): 2601-2612 (2017)Formal Model of Workflow Integration and its Application in STISAG., , , and . CSCWD, page 1173-1178. IEEE, (2006)An improved credit card users default prediction model based on RIPPER., , and . ICNC-FSKD, page 1785-1789. IEEE, (2017)Model Checking of Variable Petri Nets by Using the Kripke Structure., , , , and . IEEE Trans. Syst. Man Cybern. Syst., 52 (12): 7774-7786 (2022)