Petrinetze, lineare Algebra und lineare Programmierung: Analyse, Verifikation Und Korrektheitsbeweise Von Systemmodellen (Teubner Texte Zur Informatik) (German Edition)