UM

Browse/Search Results:  1-5 of 5 Help

Selected(0)Clear Items/Page:    Sort:
A Petri Nets based Generic Genetic Algorithm framework for resource optimization in business processes Journal article
Simulation Modelling Practice and Theory, 2018,Volume: 86,Page: 72-101
Authors:  Yain-Whar Si;  Veng-Ian Chan;  Marlon Dumas;  Defu Zhang
Favorite  |  View/Download:13/0  |  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
Applied Mathematics and Information Sciences, 2014,Volume: 8,Issue: 6,Page: 2695-2704
Authors:  Liu J.;  Ye X.;  Zhou J.;  Song X.
Favorite  |  View/Download:2/0  |  Submit date:2018/12/22
Colored petri nets  Input-output conformance  Model simulation  Software testing  Test generation  
Test purpose oriented I/O conformance test selection with colored petri nets Journal article
Journal of Applied Mathematics, 2014,Volume: 2014
Authors:  Liu J.;  Ye X.;  Zhou J.
Favorite  |  View/Download:2/0  |  Submit date:2018/12/22
Colored Petri nets based hierarchical modeling and integrated model validation approach for complicated network software Journal article
Gaojishu Tongxin/Chinese High Technology Letters, 2013,Volume: 23,Issue: 11,Page: 1139-1147
Authors:  Liu J.;  Ye X.;  Zhou J.
Favorite  |  View/Download:0/0  |  Submit date:2018/12/22
Colored Petri nets (CP-net)  Concurrency control  Model checking  Model validation  Network software  
Simulation-based evaluation of resource allocation strategies for archival management workflow: The Macau case Conference paper
2010 IEEE 7th International Conference on E-Business Engineering, Shanghai, China, 10-12 Nov. 2010
Authors:  Veng-Ian Chan;  Yain-Whar Si
Favorite  |  View/Download:2/0  |  Submit date:2019/02/14
Archival Management Workflow  Process Simulation  Resource Assignment