New Concepts for High-Level Petri Nets in the Application Domain of Train Control Systems

2000 ◽  
Vol 33 (9) ◽  
pp. 125-132 ◽  
Author(s):  
J. Padberg ◽  
P. Schiller ◽  
H. Ehrig
Keyword(s):  
Petri Nets ◽  
Control Systems ◽  
Application Domain ◽  
Train Control ◽  
New Concepts ◽  
High Level

Petri Net-Based Modeling and Verification of Automatic Train Speed Control System

2014 ◽  
Vol 571-572 ◽  
pp. 395-399 ◽  
Author(s):  
Rong Hua ◽  
You Fu ◽  
Jian Zhi Yu ◽  
Cong Liu
Keyword(s):  
Control System ◽  
Petri Nets ◽  
Control Systems ◽  
Petri Net ◽  
Formal Model ◽  
Speed Control ◽  
Train Control ◽  
Train Control System ◽  
Speed Control System ◽  
Train Speed

How to provide dependability based on safety is a challenge faced by train control system. Formal approaches are important for modeling and verification of automatic speed control Systems. In the paper, a formal model of automatic speed control Systems based on Petri nets (ASCS-nets) is presented. And the transformation approaches from automatic train speed control system to ASCS-nets are given. Correctness verification of automatic train speed control system is implemented based on ASCS-nets model.

Sign in / Sign up

Export Citation Format

Share Document