A Model-driven Approach for Formal Verification of Embedded Systems Using Timed Colored Petri Nets

2018 ◽  
Author(s):  
Faleeha Moin ◽  
Farooque Azam ◽  
Muhammad Waseem Anwar
Keyword(s):  
Embedded Systems ◽  
Petri Nets ◽  
Formal Verification ◽  
Colored Petri Nets ◽  
Model Driven ◽  
Model Driven Approach ◽  
Timed Colored Petri Nets

scholarly journals Signal Preemption Control of Emergency Vehicles Based on Timed Colored Petri Nets

2018 ◽  
Vol 2018 ◽  
pp. 1-12 ◽  
Author(s):  
Haibo Mu ◽  
Linzhong Liu ◽  
Xiaojing Li
Keyword(s):  
Petri Nets ◽  
Control Strategies ◽  
Traffic Signal ◽  
Urban Traffic ◽  
Colored Petri Nets ◽  
Current Phase ◽  
Emergency Vehicle ◽  
Phase Switching ◽  
Emergency Vehicles ◽  
Timed Colored Petri Nets

This paper focuses on the use of timed colored Petri nets (TCPN) to study emergency vehicle (EV) preemption control problem. TCPN is adopted to establish an urban traffic network model composed of three submodels, namely, traffic flow model, traffic signal display and phase switch model, and traffic signal switch control model. An EV preemption optimization control system, consisting of monitoring subsystem, phase time determination subsystem, and phase switching control subsystem, is designed. The calculation method of the travelling speed of EV on road sections is presented, and the methods of determining the actual green time of current phase and the other phase are given. Some computational comparisons are performed to verify the signal preemption control strategies, and simulation results indicate that the proposed approach can provide efficient and safe running environments for emergency vehicles and minimize EV’s interference to social vehicles simultaneously.

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