Petri nets and temporal logic are efficient tools to study concurrent systems, but each has their own shortages. Thus, we introduce temporal Petri nets to model, analyze and verify train safety comprehensive monitoring system. On one hand, we describe frameworks of this system using Petri nets. On the other hand, we use temporal logic to describe temporal relationships of system states. Then, we analyze and verify the properties of model and conclude that the system is reliable and effective.
Modeling and verification of train safety comprehensive monitoring system using temporal Petri nets
2005
4 Seiten, 8 Quellen
Conference paper
English
Modeling train control systems: from message sequence charts to Petri nets
Tema Archive | 2000
|Rule-based refinement of petri nets for modeling train control systems
Tema Archive | 2000
|Modeling traffic signal control using Petri nets
IEEE | 2004
|