Model-Based Monitoring and Adaptation of Pacemaker Behavior Using Hierarchical Fuzzy Colored Petri-Nets

2020 ◽  
Vol 50 (9) ◽  
pp. 3344-3357
Author(s):  
Negar Majma ◽  
Seyed Morteza Babamir
Keyword(s):  
Petri Nets ◽  
Colored Petri Nets ◽  
Model Based

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