Skip to main content
SpringerLink
Log in

Modelling a Railway Crossing with Message Sequence Charts and Petri Nets

  • Chapter
Petri Net Technology for Communication-Based Systems

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2472))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ben-Abdallah, H., Leue, S.: Syntactic Detection of Process Divergence and non- Local Choice in Message Sequence Charts. University of Waterloo, Canada (1996)

    Google Scholar 

  2. Damm, W., Dhmen, G., Klose, J.: Secure decentralized control of railway crossings. In: Proceedings of the Fourth International ERCIM Workshop on Formal Methods in Industrial Critical Systems (1999)

    Google Scholar 

  3. Ehrig, H., et al.: Integration von Techniken der Software Spezifikation für ingenieurwissenschaftliche Anwendungen (1997), http://tfs.cs.tu-berlin.de/SPP/index.html

  4. ETCS Phase I - Modellbildung, Simulation und Schnittstellenbetrachtung. Technische Universität Braunschweig, Institut für Regelungs- und Automatisierungstechnik. Projektdokumentation (1997)

    Google Scholar 

  5. Grabowski, J., Graubmann, P., Rudolph, E.: Towards a Petri net based semantics definition for Message Sequence Charts. In: Frgemand, O., Sarma, A. (eds.) SDL 1993: Using Objects, Proceedings of the Sixth SDL Forum, Darmstadt, pp. 179–190. North-Holland, Amsterdam (1993)

    Google Scholar 

  6. ITU, Annex B to Recommendation Z.120: Message Sequence Charts (MSC), ITU Genral Secreteriat (1998)

    Google Scholar 

  7. ITU, MSC2000, Recommendation Z.120: Message Sequence Charts (MSC), ITU Genral Secreteriat (1999)

    Google Scholar 

  8. Klose, J.: Sichere dezentrale Steuerung von Bahnübergängen, Diplomarbeit. Universität Oldenburg (1998)

    Google Scholar 

  9. Kluge, O.: Time in Message Sequence Chart Specifications and How to Derive Stochastic Petri Nets. In: Proceedings of the Third International Workshop on Communication Based Systems (CBS3), Berlin (March 2000)

    Google Scholar 

  10. Kluge, O., Padberg, J., Ehrig, H.: Modeling Train Control Systems: From Message Sequence Charts to Petri Nets. In: FORMS 2000 - Formale Techniken für die Eisenbahnsicherung, Fortsch.-Ber. VDI Reihe 12 Nr. 441, pp. 25–42. VDI Verlag, Düsseldorf (2000)

    Google Scholar 

  11. Muscholl, A., Peled, D., Su, Z.: Deciding Properties for Message Sequence Charts. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, p. 226. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  12. Muscholl, A.: Matching Specifications for Message Sequence Charts. In: Thomas, W. (ed.) FOSSACS 1999. LNCS, vol. 1578, pp. 273–287. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  13. Padberg, J., Ehrig, H., Ribeiro, L.: Algebraic High-level net transformation systems. Mathematical Structures in Computer Science 5, 217–256 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  14. Padberg, J., Jansen, L., Ehrig, H., Schnieder, E.: Cooperability in Train Control Systems: Specification of Scenarios using Open Nets, Special Issue. In: Ehrig, H., Goedicke, M., Padberg, J. (eds.) Society for Design and Process Science (SDPS) 1999 (1999)

    Google Scholar 

  15. Jansen, L.: Referenzfallstudie Verkehrsleittechnik (1997), http://www.ifra.ing.tu-bs.de/~m33/spezi

Download references

Author information

Authors and Affiliations

  1. Institut für Technische Informatik und Mikroelektronik, TU Berlin, Sekr. EN10, Einsteinufer 17, 10587, Berlin, Germany

    Olaf Kluge

Authors
  1. Olaf Kluge
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Technische Universität Berlin, Germany

    Hartmut Ehrig

  2. Institut für Informatik, Humboldt-Universität zu Berlin, Unter den Linden 6, 10099, Berlin, Germany

    Wolfgang Reisig

  3. Leiden Center of Advanced Computer Science (LIACS), Leiden University, Niels Bohrweg 1, 2333, Leiden, CA, The Netherlands

    Grzegorz Rozenberg

  4. Computergestützte InformationsSysteme (CIS), Technische Universität Berlin, Germany

    Herbert Weber

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Kluge, O. (2003). Modelling a Railway Crossing with Message Sequence Charts and Petri Nets. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds) Petri Net Technology for Communication-Based Systems. Lecture Notes in Computer Science, vol 2472. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-40022-6_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-40022-6_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20538-8

  • Online ISBN: 978-3-540-40022-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation