Prozeßinformatik: Einführung mit Petrinetzen Für Elektrotechniker und Informatiker, Maschinenbauer und Physiker nach dem Grundstudium