Author of the publication

Preserving Languages and Properties in Stepwise Refinement-Based Synthesis of Petri Nets.

, , , and . IEEE Trans. Syst. Man Cybern. Part A, 38 (4): 791-801 (2008)

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

Modeling and Validating E-Commerce Business Process Based on Petri Nets., , , , and . IEEE Trans. Syst. Man Cybern. Syst., 44 (3): 327-341 (2014)Performance Evaluation of Transactional Composite Web Services., , , , , and . IEEE Trans. Syst. Man Cybern. Syst., 46 (8): 1061-1074 (2016)Analyzing E-Commerce Business Process Nets via Incidence Matrix and Reduction., , , , and . IEEE Trans. Syst. Man Cybern. Syst., 48 (1): 130-141 (2018)Preserving Languages and Properties in Stepwise Refinement-Based Synthesis of Petri Nets., , , and . IEEE Trans. Syst. Man Cybern. Part A, 38 (4): 791-801 (2008)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)A Configurable State Class Method for Temporal Analysis of Time Petri Nets., , and . IEEE Trans. Syst. Man Cybern. Syst., 44 (4): 482-493 (2014)RaceTest: harmful data race detection based on testing technology in WS-BPEL., and . Serv. Oriented Comput. Appl., 13 (2): 141-154 (2019)Network-aware service composition in mobile environment., , , , and . Concurr. Comput. Pract. Exp., (2017)AI Planning for Web Service Automatic Composition Using Petri Nets., , and . CSCWD, page 519-524. IEEE, (2007)A Socioecological Model for Advanced Service Discovery in Machine-to-Machine Communication Networks., , , , and . ACM Trans. Embed. Comput. Syst., 15 (2): 38:1-38:26 (2016)