Springer Compass International
2 total works
Petri nets provide a formal framework for system modeling and validation which has proven to be very reliable in practice. This book presents variousnet models appropriate for designing specific systems, where systems are understood very generally as "organizational systems" in which regulatedflows of objects and information are significant. The models are interrelated in the sense that they have common interpretation patterns: together they can be understood as a method for specifying any given system or any section of such a system to any given degree of refinement. The simple and immediately understandable principles of system modelling with nets makes it possible to provide an illustrated description of this method without going into the mathematics behind it. The text is based on courses the author developed for project engineers and project managers in the area of embedded computer systems.
"Systementwurf mit Netzen" lautet der Titel dieses Buches. Was ist darun- ter zu verstehen? Genauer: was ist bier mit Systemen, was mit Netzen gemeint? Beginnen wir mit den Systemen: sie sind in diesem Buch sehr aIlgemein aufgefaBt als "organisatorische Systeme", in denen geregelte Flusse von Gegenstanden und Informationen bedeutsam sind. Unter den Netzen wie- derum wollen wir bier solche verstehen, wie sie im Rahmen der Netztheorie nach C. A. Petri entwickelt wurden: sogenannte "Petrinetze". Diese Petri- netze haben sich in der Praxis entschieden bewahrt. Wir werden im Verlauf des Buches verschiedene Netzmodelle betrachten, die jeweils fur die Modellierung spezieller Problemkreise zweckmaBig sind. Sie hangen untereinander durch gemeinsame Interpretationsmuster zusam- men und k6nnen insgesamt als eine Methodik zur Darstellung beliebiger Systeme in beliebigen Feinheitsgraden und Ausschnitten verstanden wer- den. Die einfachen und unmittelbar einleuchtenden Prinzipien der System- modellierung mit Netzen lassen eine anschauliche Darstellung dieser Me- thodik zu, die ohne aIle Mathematik auskommt. Der Text dieses Buches ging aus Kursen hervor, die der Autor fur Projekt- ingenieure und Projektmanager aus dem Bereich rechnerintegrierter Syste- me durchgefuhrt hat. Den Teilnehmem dieser Kurse, Herm Dipl.-Ing. G. Feistl und Herm Dipl.-Ing. H. Keil von der Siemens-Schule fur Mikrocom- puter in Dusseldorf sowie Herm Prof. W. Brauer und Herm Dr. P. Schnupp sei an dieser Stelle fur zahlreiche Hinweise gedankt, Herm Dipl.-Ing. Franz Goltz fur das sorgfaltige Zeichnen der Abbildungen und dem Springer- Verlag fur die gelungene Ausstattung des Buches.