In: Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, et al. (Eds.): Lecture Notes in Computer Science, Vol. 3393: Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, pages 402-411. Springer-Verlag, 2005.
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.