Skip to main content
SpringerLink
Log in
Book cover

Formal Methods in Software and Systems Modeling pp 402–411Cite as

A Formal Description of the Basic Concepts of System Theory for Transportation

  • Chapter

  • 647 Accesses

Part of the Lecture Notes in Computer Science book series (LNPSE,volume 3393)

Abstract

In this paper some of the basic concepts of system theory are presented in a formal way. This is done with the help of the formal modeling language petri-nets. An example out of the transportation is used to illustrate the discussed concepts.

Keywords

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

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

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (Canada)
  • 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Krieger, D.J.: Einführung in die allgemeine Systemtheorie, 2. Auflage. Wilhelm Fink Verlag, UTB für Wissenschaft: Uni-Taschenbücher (1904), München (1996)

    Google Scholar 

  2. Luhmann, N.: Soziale Systeme. Grundriß einer allgemeinen Theorie. Frankfurt am Main (1984)

    Google Scholar 

  3. Petri, C.A.: Kommunikation mit Automaten. Schriften des Institutes für instrumentelle Mathematik, Bonn (1962)

    Google Scholar 

  4. Schnieder, E.: Prozeßinformatik - Einführung mit Petrinetzen. Vieweg-Verlag, Braunschweig, 2. erweiterte Auflage (1993)

    Google Scholar 

  5. von Bertalanffy, L.: General System Theory: Foundations, Development, Applications. George Braziller (1976)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Traffic Safety and Automation Engineering, Technical University of Braunschweig, Braunschweig, Germany

    Eckehard Schnieder & Jörg R. Müller

Authors
  1. Eckehard Schnieder
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jörg R. Müller
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Bremen, P.O. Box 33 04 40, 28334, Bremen, Germany

    Hans-Jörg Kreowski

  2. Dipartimento di Informatica, Università di Pisa,  

    Ugo Montanari

  3. Dpto de L.S.I., Universitat Politècnica de Catalunya, Campus Nord, Mòdul Omega, Jordi Girona 1-3, 08034, Barcelona, Spain

    Fernando Orejas

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

    Grzegorz Rozenberg

  5. Philipps-Universität Marburg, Germany

    Gabriele Taentzer

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Schnieder, E., Müller, J.R. (2005). A Formal Description of the Basic Concepts of System Theory for Transportation. In: Kreowski, HJ., Montanari, U., Orejas, F., Rozenberg, G., Taentzer, G. (eds) Formal Methods in Software and Systems Modeling. Lecture Notes in Computer Science, vol 3393. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31847-7_24

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-31847-7_24

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-31847-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

search

Navigation