TU Braunschweig


Schnieder, E.; Müller, J. R.:
A Formal Description of the Basic Concepts of System Theory for Transportation.
In Kreowski, H.-J.; Montanari, U.; Orejas, F.; et al., Hrsg.: Formal Methods in Software and Systems Modelling: Essay Dedicated to Hartmut Ehrig on the Occasion of his 60th Birthday.
Bandnummer 3393. Springer Verlag GmbH, S. 402-411, 2005.


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.