Formal Modeling and Analysis of HMIPv6 Using Colored Petri Nets

2010 ◽  
Author(s):  
Tao Sun ◽  
Xinming Ye ◽  
Jing Liu ◽  
Meng Yang
Keyword(s):  
Petri Nets ◽  
Colored Petri Nets ◽  
Formal Modeling ◽  
Modeling And Analysis

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

An HCPN Pattern for Railway Safety Critical Scenarios Formal Modeling

2015 ◽  
Author(s):  
Zakaryae Boudi ◽  
El Miloudi El Koursi ◽  
Simon Collart-Dutilleul
Keyword(s):  
Petri Nets ◽  
Information Aggregation ◽  
Colored Petri Nets ◽  
Formal Modeling ◽  
Accurate Information ◽  
Safety Critical ◽  
Railway Safety ◽  
High Level ◽  
Term Objective

Analyzing railway critical scenarios usually involves a large team of diverse railway abilities and skills. This paper presents a formal modeling pattern for Hierarchical Colored Petri Nets (HCPN) in modeling railway safety critical scenarios. Indeed, under the French project called “PERFECT”, our long-term objective is to formalize and automate a significant part of railway scenarios modeling. The purpose of this contribution is to bring a first proposition of a standardized modeling way able to deal with the models complexity resulting from the various modeling capabilities for railway scenarios. In fact, HCPN modeling freedom is preventing from accurate information aggregation and a beneficial use of those models in an overall safety analysis. The proposed pattern is based on modular High Level Petri Nets and consists in describing all the railway scenario episodes while incorporating most relevant safety components of the system, such as safety regulation procedures, interlocking and even human involvement, enabling a larger gathering of information and allowing the study of diverse issues in a same global model. This work intends to bring a concrete and reusable HCPN pattern for modeling in order to facilitate studies of accidental scenarios considering automatic mechanisms and human tasks. A concrete application of the pattern was made for the real accidental scenario of “Saint Romain en Gier”.

Sign in / Sign up

Export Citation Format

Share Document