Ein Beitrag zur Verifikation von Steueralgorithmen für Batchprozesse auf der Basis von Petri-Netzen. - Ciwan Gouma (1995)