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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:
    Kluge, O. (author) / Padberg, J. (author) / Ehrig, H. (author)


    Publication date :

    2000


    Size :

    18 Seiten, 9 Bilder, 14 Quellen




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English





    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 Archive | 2000


    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