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.