In: Fachbereich Informatik, Universität Oldenburg. 1993. In German.
Abstract: Die drei vorliegenden Fallstudien entstanden im Rahmen des Forschungsprojekts MOBY-DNS (Modellierung von Bürosystemen-Distributed Net Simulation). Ziel dieses Projektes ist die Entwicklung und Prototypische Implementierung von Werkzeugen zur Modellbildung und zur effizienten sequentiellen und verteilten Simulation der Modelle auf der Basis von höheren hierarchisch strukturierten Zeit-Petrinetzen. Die Fallstudien stützen sich auf dem in diesem Projekt entwickelten Formalismus der THOR-Netze ab. THOR-Netze sind zeitbeschriftete hierarchische Objektnetze (Timed Hierarchical Object-Related Nets). Es wurden eine Fahrstuhlsteuerung, die Produktionslinie einer Fabrik und eine Digitaluhr als Beispiele ausgewählt. Sie demonstrieren die Mächtigkeit von THOR-Netzen und deren Vorteile gegenüber anderen Petrinetz-Klassen.