System requirements can be adequately captured by describing sample scenarios. Message Sequence charts (MSC) have been successfully used for specifying such scenarios in a semi-formal way. Tile semantics of MSCs lack intuition and graphic support, so they already have been given a semantics based on statecharts. As an alternative here we have presented a Petri net semantics for MSCs, based on previous work. We have illustrated the algorithm to transform a MSC into a Petri net. Such a Petri net can then be simulated and analysed using existing algorithms and tools. We have taken a first step into that direction without giving a detailed transformation from so called interaction diagrams (a simple variant of MSCs) to Petri nets. There we have introduced a more flexible notion of Petri nets, called open nets. We have concentrated on the composition techniques for the derived open nets according to different relations between the scenarios. Moreover we have investigated one of the proposed case studies, namely the railway crossing. In a first step Message Sequence Charts have been used to specify this scenario. MSCs have proved to be useful for specifying these scenarios because of the message exchange between the distributed control and sensor components. The transformation algorithm has been applied to the example scenarios in order to derive a Petri net for the railway crossing example (RLCCS). This Petri net is a starting point for further system analysis and design. Additionally the visualisation helps detecting incomplete and inconsistent parts of MSC specifications.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Kluge, O. (Autor:in) / Padberg, J. (Autor:in) / Ehrig, H. (Autor:in)


    Erscheinungsdatum :

    2000


    Format / Umfang :

    18 Seiten, 9 Bilder, 14 Quellen




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch





    Integration of Message Sequence Charts and Petri Nets in the System Design Process

    Kluge, O. / Zentrum fur Verkehr der Technischen Universitat Braunschweig / Verein Deutscher Ingenieure | British Library Conference Proceedings | 2003


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

    Padberg, J. / Gajewsky, M. | Tema Archiv | 2000


    Modeling Traffic Signal Control Using Petri Nets

    List, G.F. | Online Contents | 2004


    A Train Rescheduling System Using Timed Coloured Petri Nets

    Vanit-Anunchai, Somsak | Springer Verlag | 2020