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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Rule-based refinement of petri nets for modeling train control systems


    Additional title:

    Regelorientierte Verfeinerung von Petri-Netzen für die Modellsimulation von Zugsteuerungssystemen


    Contributors:
    Padberg, J. (author) / Gajewsky, M. (author)


    Publication date :

    2000


    Size :

    6 Seiten, 7 Bilder, 16 Quellen



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Modeling train control systems: from message sequence charts to Petri nets

    Kluge, O. / Padberg, J. / Ehrig, H. | Tema Archive | 2000


    Scenario-based Modelling and Model Checking of Train Control Systems with Coloured Petri Nets

    Wu, Daohua / Zheng, Wei / Schnieder, Eckehard | Tema Archive | 2014


    Modeling Traffic Signal Control Using Petri Nets

    List, G.F. | Online Contents | 2004


    Modeling traffic signal control using Petri nets

    List, G.F. / Cetin, M. | IEEE | 2004