Modeling and Analysis of Files transmitting based on Extended Colored Petri nets ?

Journal of Convergence Information Technology ◽

10.4156/jcit.vol7.issue2.21 ◽

2012 ◽

Vol 7 (2) ◽

pp. 174-183

Author(s):

Huan Wang ◽

Wen Song

Keyword(s):

Colored Petri Nets ◽

Modeling And Analysis

Download Full-text

Formal Modeling and Analysis of SIP Using Colored Petri Nets

2011 7th International Conference on Wireless Communications, Networking and Mobile Computing ◽

10.1109/wicom.2011.6040445 ◽

2011 ◽

Author(s):

Yunli Bai ◽

Xinming Ye ◽

Yuanfei Ma

Keyword(s):

Colored Petri Nets ◽

Formal Modeling ◽

Modeling And Analysis

Download Full-text

Modeling and Analysis of Protein Synthesis and DNA Mutation Using Colored Petri Nets

IEEE Access ◽

10.1109/access.2018.2825782 ◽

2018 ◽

Vol 6 ◽

pp. 22386-22400 ◽

Author(s):

Jinliang Yang ◽

Haitao Pu ◽

Jian Lian ◽

Jason Gu ◽

Mingqu Fan

Keyword(s):

Protein Synthesis ◽

Colored Petri Nets ◽

Modeling And Analysis ◽

Download Full-text

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

IEEE Access ◽

10.1109/access.2018.2833213 ◽

2018 ◽

Vol 6 ◽

pp. 27356-27372 ◽

Author(s):

Maria Emilia Cambronero ◽

Hermenegilda Macia ◽

Valentin Valero ◽

Luis Orozco-Barbosa

Keyword(s):

Communication Protocol ◽

Colored Petri Nets ◽

Modeling And Analysis ◽

Timed Colored Petri Nets

Download Full-text

Modeling and Analysis of Electronic Commerce Protocols Using Colored Petri Nets

Journal of Software ◽

10.4304/jsw.6.7.1181-1187 ◽

2011 ◽

Vol 6 (7) ◽

Author(s):

Yang Xu ◽

Xiao Yao Xie ◽

Huan Guo Zhang

Keyword(s):

Electronic Commerce ◽

Colored Petri Nets ◽

Modeling And Analysis

Download Full-text

Formal Modeling and Analysis of HMIPv6 Using Colored Petri Nets

2010 International Conference on Communications and Mobile Computing ◽

10.1109/cmc.2010.222 ◽

2010 ◽

Author(s):

Tao Sun ◽

Xinming Ye ◽

Jing Liu ◽

Meng Yang

Keyword(s):

Colored Petri Nets ◽

Formal Modeling ◽

Modeling And Analysis

Download Full-text

Modeling and Analysis of Security Protocols Using Colored Petri Nets

Journal of Computers ◽

10.4304/jcp.6.1.19-27 ◽

2011 ◽

Vol 6 (1) ◽

Author(s):

Yang Xu ◽

Xiaoyao Xie

Keyword(s):

Security Protocols ◽

Colored Petri Nets ◽

Modeling And Analysis

Download Full-text

Modeling and analysis of authentication protocols using Colored Petri Nets

2009 3rd International Conference on Anti-counterfeiting, Security, and Identification in Communication ◽

10.1109/icasid.2009.5276975 ◽

2009 ◽

Author(s):

Yang Xu ◽

Xiaoyao Xie

Keyword(s):

Colored Petri Nets ◽

Authentication Protocols ◽

Modeling And Analysis

Download Full-text

Modeling and analysis of Flexible Manufacture Systems through hierarchical and Colored Petri Nets

2008 IEEE International Conference on Industrial Technology ◽

10.1109/icit.2008.4608520 ◽

2008 ◽

Author(s):

Marcelo Aguiar ◽

Raimundo Barreto ◽

Ruiter Caldas ◽

Joao Edgar ◽

Chaves Filho

Keyword(s):

Colored Petri Nets ◽

Modeling And Analysis ◽

Flexible Manufacture

Download Full-text

Colored Petri nets for multiscale systems biology - Current modeling and analysis capabilities in snoopy

2013 7th International Conference on Systems Biology (ISB) ◽

10.1109/isb.2013.6623788 ◽

2013 ◽

Author(s):

Fei Liu ◽

Monika Heiner ◽

Ming Yang

Keyword(s):

Systems Biology ◽

Colored Petri Nets ◽

Modeling And Analysis ◽

Multiscale Systems

Download Full-text

Modeling and analysis of inventory system by using Colored Petri nets

2008 IEEE International Conference on Service Operations and Logistics, and Informatics ◽

10.1109/soli.2008.4686612 ◽

2008 ◽

Author(s):

Xiaochun Lu ◽

Dongyuan Liu ◽

Zhiwei Ni

Keyword(s):

Inventory System ◽

Colored Petri Nets ◽

Modeling And Analysis

Download Full-text