Hat Falk für F4 irgendwelche Bücher empfohlen? Welche sind am besten zum lernen für die Prüfung? Am besten natürlich deutsche Bücher…

Herr Moldt hat in der Vorlesung das Buch "Coloured Petri Nets"
von Kurt Jensen empfohlen. Das habe ich auch zum Lernen verwendet.
Allerdings deckt es (wie der Titel schon sagt) nur Petrinetze ab.
Es hat dem Skript jedoch die Beschreibung vom "gleichzeitigen"
Schalten mehrerer Transitionen voraus: Nach dem Skript besteht
ja der Übergang zwischen zwei Markierungen immer nur aus genau
einer schaltenden Transition, während im Buch von Jensen das
Schalten ganzer Multimengen von Transitionen beschrieben ist
(allerdings auch mit dem entsprechenden Aufwand).

Hat Falk für F4 irgendwelche Bücher empfohlen? Welche sind am besten zum lernen für die Prüfung? Am besten natürlich deutsche Bücher…

Im KVV stehen doch schon einige:

Literatur:


1. J. Magee, J. Kramer: Concurrency - State Models & Java Programs (John Wiley, Chichester, 1999)
2. W. Reisig: Petrinetze (Springer Berlin, 1985)
3. E. Jessen, R. Valk: Rechensysteme - Grundlagen der Modellbildung (Springer, Berlin, 1986)
4. C. Girault, R. Valk: Petri Nets for Systems Engineering - A Guide to Modelling, Verification, and Applications (Springer, Berlin, 2003)