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.
Modeling train control systems: from message sequence charts to Petri nets
2000
18 Seiten, 9 Bilder, 14 Quellen
Conference paper
English
Integration of message sequence charts and Petri nets in the system design process
Tema Archive | 2003
|Integration of Message Sequence Charts and Petri Nets in the System Design Process
British Library Conference Proceedings | 2003
|Rule-based refinement of petri nets for modeling train control systems
Tema Archive | 2000
|Modeling Traffic Signal Control Using Petri Nets
Online Contents | 2004
|Modeling traffic signal control using Petri nets
IEEE | 2004
|