Control systems usually have high security requirements. Petri nets play an important role in the modeling of control systems because they provide various means for analysis as well as for verification. Verification is an important issue for ensuring the required security issues. Safety properties of a Petri net model constitute a main class of security constraints. Developing large and complex systems with Petri nets requires mechanisms for adequate structuring. For decomposition Coloured Petri Nets offer the technique of 'fusion' which glues places of different subsystems together. But in contrast to this horizontal structuring technique there are no formal techniques for vertical structuring of Coloured Petri Nets, i. e. the stepwise development of nets within the software development process. This paper describes the stepwise development of a Coloured Petri Net model for a train control system. We propose a rule-based approach that allows the preservation of safety properties. Rules that preserve or even introduce safety properties are applied to the current Petri net model. The resulting transformation refines the net model and preserves or even introduces the safety property.
Rule-based refinement of petri nets for modeling train control systems
Regelorientierte Verfeinerung von Petri-Netzen für die Modellsimulation von Zugsteuerungssystemen
2000
6 Seiten, 7 Bilder, 16 Quellen
Conference paper
English
Modeling train control systems: from message sequence charts to Petri nets
Tema Archive | 2000
|Modeling Traffic Signal Control Using Petri Nets
Online Contents | 2004
|Modeling traffic signal control using Petri nets
IEEE | 2004
|