scholarly journals Modeling and Analysis of SMER Constraints Violation in IRBAC 2000 Model Based on Colored Petri Nets

2014 ◽  
Vol 8 (1) ◽  
pp. 19-32 ◽  
Author(s):  
Meng Liu ◽  
Xuan Wang
Keyword(s):  
Petri Nets ◽  
Colored Petri Nets ◽  
Modeling And Analysis ◽  
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 Modeling and Analysis of Protein Synthesis and DNA Mutation Using Colored Petri Nets

IEEE Access ◽  
2018 ◽  
Vol 6 ◽  
pp. 22386-22400 ◽  
Author(s):  
Jinliang Yang ◽  
Haitao Pu ◽  
Jian Lian ◽  
Jason Gu ◽  
Mingqu Fan
Keyword(s):  
Protein Synthesis ◽  
Petri Nets ◽  
Colored Petri Nets ◽  
Modeling And Analysis ◽  
Dna Mutation

scholarly journals Modeling and Analysis of the 1-Wire Communication Protocol Using Timed Colored Petri Nets

IEEE Access ◽  
2018 ◽  
Vol 6 ◽  
pp. 27356-27372 ◽  
Author(s):  
Maria Emilia Cambronero ◽  
Hermenegilda Macia ◽  
Valentin Valero ◽  
Luis Orozco-Barbosa
Keyword(s):  
Petri Nets ◽  
Communication Protocol ◽  
Colored Petri Nets ◽  
Modeling And Analysis ◽  
Timed Colored Petri Nets
Sign in / Sign up

Export Citation Format

Share Document