26 - Parallele Algorithmen : Formale Grundlagen der Informatik 2 Moldt, Daniel 2015 - Lecture2Go UHH - frei zugänglich
14 - Zustandsraumexplosion : 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
11 - Kantenkonstante Netze (KKN) : 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
8 - Synchrone Produkte (Wdh.)/ Partial order semantics : 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
17 - Höhere Petrinetze : 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
10 - Verfeinerung/Vergröberung : Formale Grundlagen der Informatik 2 Moldt, Daniel 2014 - Lecture2Go UHH - frei zugänglich
13 - Analyse endlicher Erreichbarkeitsgraphen : 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
20 - Datenbank - Manager; Alternierprotokoll : Formale Grundlagen der Informatik II Moldt, Daniel 2013 - Lecture2Go UHH - frei zugänglich
10 - Partial order semantics / Petrinetze : Formale Grundlagen der Informatik II Moldt, Daniel 2013 - Lecture2Go UHH - frei zugänglich
14 - Entscheidbarkeitsproblem : Formale Grundlagen der Informatik II Moldt, Daniel 2013 - Lecture2Go UHH - frei zugänglich
16 - Strukturelle Eigenschaften: Netzinvarianten, Fallen : Formale Grundlagen der Informatik II Moldt, Daniel 2013 - Lecture2Go UHH - frei zugänglich
13 - Elementare Systemeigenschaften von P/T - Netzen (Wdh.) : Formale Grundlagen der Informatik II Moldt, Daniel 2013 - Lecture2Go UHH - frei zugänglich
9 - Synchrone Produkte : Formale Grundlagen der Informatik II Moldt, Daniel 2013 - Lecture2Go UHH - frei zugänglich
18 - Renew; Workflow : Formale Grundlagen der Informatik II Moldt, Daniel 2013 - Lecture2Go UHH - frei zugänglich