Download Petrinetze Lineare Algebra Und Lineare Programmierung Analyse Verifikation Und Korrektheitsbeweise Von Systemmodellen 1998