For the most recent entries see the Petri Nets Newsletter.

Modelling a Railway Crossing with Message Sequence Charts and Petri Nets.

Kluge, Olaf

In: Petri Net Technology for Communication-Based Systems, pages 197-218. Volume 2472 of Lecture Notes in Computer Science / Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg and Herbert Weber (Eds.) --- Springer-Verlag, November 2003.

Abstract: 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. Therfore, a different approach proposes to employ Petri nets as a semantic model for MSC. By employing a transformation a Petri net can be derived from each MSC specification. Thus, known analysis and simulation techniques for Petri nets can be employed to analyse properties of the MSC specification. Throughout the paper, a railway crossing serves as a case study. It is at first described informally and subsequently specified by means of MSCs. The transformation of the MSC specification into a Petri net and the subsequent analysis of the Petri net are demonstrated.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography