13 - Analyse endlicher Erreichbarkeitsgraphen : Formale Grundlagen der Informatik 2 Moldt, Daniel 2014 - Lecture2Go UHH - frei zugänglich
11 - Kantenkonstante Netze (KKN) : Formale Grundlagen der Informatik 2 Moldt, Daniel 2014 - Lecture2Go UHH - frei zugänglich
16 - CPN / Workflow : Formale Grundlagen der Informatik 2 Moldt, Daniel 2014 - Lecture2Go UHH - frei zugänglich
10 - Verfeinerung/Vergröberung : Formale Grundlagen der Informatik 2 Moldt, Daniel 2014 - Lecture2Go UHH - frei zugänglich
12 - Entscheidbarkeitsproblem : Formale Grundlagen der Informatik 2 Moldt, Daniel 2014 - Lecture2Go UHH - frei zugänglich
19 - Bankiersproblem : Formale Grundlagen der Informatik 2 Moldt, Daniel 2014 - Lecture2Go UHH - frei zugänglich
14 - Zustandsraumexplosion : Formale Grundlagen der Informatik 2 Moldt, Daniel 2014 - Lecture2Go UHH - frei zugänglich
15 - Systemverifikation durch Petrinetze : Formale Grundlagen der Informatik 2 Moldt, Daniel 2014 - Lecture2Go UHH - frei zugänglich
17 - Höhere Petrinetze : Formale Grundlagen der Informatik 2 Moldt, Daniel 2014 - Lecture2Go UHH - frei zugänglich
9 - Partial order semantics : Formale Grundlagen der Informatik 2 Moldt, Daniel 2014 - Lecture2Go UHH - frei zugänglich
18 - Bankiersproblem/ Renew : Formale Grundlagen der Informatik 2 Moldt, Daniel 2014 - Lecture2Go UHH - frei zugänglich
8 - Synchrone Produkte (Wdh.)/ Partial order semantics : Formale Grundlagen der Informatik 2 Moldt, Daniel 2014 - Lecture2Go UHH - frei zugänglich
