English | 繁體

Search in the results

UM

Browse/Search Results:  1-3 of 3 Help

Selected(0)Clear Items/Page:    Sort:
A Petri Nets based Generic Genetic Algorithm framework for resource optimization in business processes Journal article
Yain-Whar Si, Veng-Ian Chan, Marlon Dumas, Defu Zhang. A Petri Nets based Generic Genetic Algorithm framework for resource optimization in business processes[J]. Simulation Modelling Practice and Theory, 2018, 86, 72-101.
Authors:  Yain-Whar Si;  Veng-Ian Chan;  Marlon Dumas;  Defu Zhang
Favorite | TC[WOS]:20 TC[Scopus]:29  IF:3.5/3.5 | Submit date：2018/10/30
Colored Petri Nets  Genetic Algorithm  Resource Optimization  Business Process Simulation  
I/O conformance test generation with colored petri nets Journal article
Liu J., Ye X., Zhou J., Song X.. I/O conformance test generation with colored petri nets[J]. Applied Mathematics and Information Sciences, 2014, 8(6), 2695-2704.
Authors:  Liu J.;  Ye X.;  Zhou J.;  Song X.
Favorite | TC[WOS]:2 TC[Scopus]:4 | Submit date：2018/12/22
Colored Petri Nets  Input-output Conformance  Model Simulation  Software Testing  Test Generation  
Colored Petri nets based hierarchical modeling and integrated model validation approach for complicated network software Journal article
Liu J., Ye X., Zhou J.. Colored Petri nets based hierarchical modeling and integrated model validation approach for complicated network software[J]. Gaojishu Tongxin/Chinese High Technology Letters, 2013, 23(11), 1139-1147.
Authors:  Liu J.;  Ye X.;  Zhou J.
Favorite | TC[Scopus]:1 | Submit date：2018/12/22
Colored Petri Nets (Cp-net)  Concurrency Control  Model Checking  Model Validation  Network Software