Colored Petri nets model based conformance test generation

2011 ◽  
Author(s):  
Jing Liu ◽  
Xinming Ye ◽  
Jun Li
Keyword(s):  
Petri Nets ◽  
Test Generation ◽  
Colored Petri Nets ◽  
Conformance Test ◽  
Model Based

I/O Conformance Test Generation with Colored Petri Nets

2014 ◽  
Vol 8 (6) ◽  
pp. 2695-2704 ◽  
Author(s):  
Jing Liu ◽  
Xinming Ye ◽  
Jiantao Zhou ◽  
Xiaoyu Song
Keyword(s):  
Petri Nets ◽  
Test Generation ◽  
Colored Petri Nets ◽  
Conformance Test

Attack Composition Model Based on Generalized Stochastic Colored Petri Nets

2014 ◽  
Vol 35 (11) ◽  
pp. 2608-2614
Author(s):  
Xiang Gao ◽  
Yue-fei Zhu ◽  
Sheng-li Liu
Keyword(s):  
Petri Nets ◽  
Colored Petri Nets ◽  
Model Based

scholarly journals Web Service Automatic Composition Model Based on Colored Petri Nets

2013 ◽  
Vol 05 (01) ◽  
pp. 101-105 ◽  
Author(s):  
Kai Nie ◽  
Houxiang Wang ◽  
Xiaopei Jing ◽  
Zhihao Xie
Keyword(s):  
Petri Nets ◽  
Web Service ◽  
Colored Petri Nets ◽  
Model Based ◽  
Automatic Composition

scholarly journals Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets

2009 ◽  
pp. 727-732 ◽  
Author(s):  
Manuel Wimmer ◽  
Angelika Kusel ◽  
Johannes Schoenboeck ◽  
Gerti Kappel ◽  
Werner Retschitzegger ◽  
...  
Keyword(s):  
Petri Nets ◽  
Colored Petri Nets ◽  
Model Based ◽  
Qvt Relations
Sign in / Sign up

Export Citation Format

Share Document