Ein Verifikationsansatz für eine netzbasierte Modellierungsmethode für Fertigungssteuerungssysteme. Universität, Gesamthochschule Paderborn, Fachbereich Mathematik, Informatik, HNI-Verlagsschriftenreihe