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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Weitere Titelangaben:

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


    Beteiligte:
    Padberg, J. (Autor:in) / Gajewsky, M. (Autor:in)


    Erscheinungsdatum :

    2000


    Format / Umfang :

    6 Seiten, 7 Bilder, 16 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




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

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


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

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


    A Train Rescheduling System Using Timed Coloured Petri Nets

    Vanit-Anunchai, Somsak | Springer Verlag | 2020


    Modeling Traffic Signal Control Using Petri Nets

    List, G.F. | Online Contents | 2004