Message Sequence Charts (MSC) are a popular and intuitive specification language for describing scenarios. Especially the hierarchical composition of single diagrams make it very powerful. However, the process algebra based formal semantics is complicated and renders it difficult to analyse MSC specifications. Furthermore, no tool support for the employed process algebra is up to now available. This paper proposes to employ Petri nets as a semantic model for MSC. By applying a transformation a Petri net can be derived from every MSC and MSC specification. Depending on the MSCs and the applied analysis techniques even a low-level Petri net is sufficient in order to represent the correct behaviour. However, in general high-level Petri nets are necessary to represent the correct behaviour as described in the MSC specification. In the following section some more details on MSCs are given. The transformation of an MSC specification into a Petri net is outlined in Section 3. An example is employed to demonstrate how an MSC specification is transformed into a Petri net. Finally, some properties of MSC specifications and how this specification can be analysed by means of the derived Petri net are discussed.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Integration of message sequence charts and Petri nets in the system design process


    Contributors:
    Kluge, O. (author)


    Publication date :

    2003


    Size :

    10 Seiten, 6 Bilder, 10 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


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

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


    Logic control design with Petri nets

    Ferrarini, L. / Maffezzoni, C. / Associazione Nazionale Italiana per l'Automazione | British Library Conference Proceedings | 1993


    Controlled Time Petri Nets and Modeling of Batch Process System

    Huifang, L. / Renhou, L. / Haoxun, C. | British Library Online Contents | 2000