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

Service Discovery Framework Using Fuzzy Petri Net., , and . J. Comput. Res. Dev., 43 (11): 1886-1894 (2006)一种综合多因素的网页浏览行为认证方法 (Authentication Method Synthesizing Multi-factors for Web Browsing Behavior)., , , and . 计算机科学, 45 (2): 181-188 (2018)LBSNs中的群体行程推荐方法 (Group Travel Trip Recommendation Method in LBSNs)., and . 计算机科学, 44 (6): 199-205 (2017)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)Modeling and Validating E-Commerce Business Process Based on Petri Nets., , , , and . IEEE Trans. Syst. Man Cybern. Syst., 44 (3): 327-341 (2014)AI Planning for Web Service Automatic Composition Using Petri Nets., , and . CSCWD, page 519-524. IEEE, (2007)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)A Configurable State Class Method for Temporal Analysis of Time Petri Nets., , and . IEEE Trans. Syst. Man Cybern. Syst., 44 (4): 482-493 (2014)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)