Schnieder, E.; Müller, J. R.:
Petrinets as a Concept for Modeling Transport Automation Systems.
In: Breitenecker, F.; Troch, I., Hrsg.: Proceedings of the 5th Vienna Symposium on Mathematical Modelling - Mathmod/08.-10.02.2006, Vienna, S. 245, 2006.
In this paper correspondences between the not formally but well distinguished concepts of systemtheory
and formal concepts of petrinet-theory are identified. Against this backdrop the area of transportation
systems serves firstly to instanciate the abstractly defined system-theoretic concepts to be introduced and secondly
as the (real) outside world that is mapped to a (formal) petrinet-model.