12 Einträge gefunden

1. 11 - Kantenkonstante Netze (KKN) : Formale Grundlagen der Informatik 2

   1. Moldt, Daniel

   2014 - Lecture2Go UHH - frei zugänglich
2. 9 - Partial order semantics : Formale Grundlagen der Informatik 2

   1. Moldt, Daniel

   2014 - Lecture2Go UHH - frei zugänglich
3. 8 - Synchrone Produkte (Wdh.)/ Partial order semantics : Formale Grundlagen der Informatik 2

   1. Moldt, Daniel

   2014 - Lecture2Go UHH - frei zugänglich
4. 10 - Verfeinerung/Vergröberung : Formale Grundlagen der Informatik 2

   1. Moldt, Daniel

   2014 - Lecture2Go UHH - frei zugänglich
5. 12 - Entscheidbarkeitsproblem : Formale Grundlagen der Informatik 2

   1. Moldt, Daniel

   2014 - Lecture2Go UHH - frei zugänglich
6. 17 - Höhere Petrinetze : Formale Grundlagen der Informatik 2

   1. Moldt, Daniel

   2014 - Lecture2Go UHH - frei zugänglich
7. 18 - Bankiersproblem/ Renew : Formale Grundlagen der Informatik 2

   1. Moldt, Daniel

   2014 - Lecture2Go UHH - frei zugänglich
8. 19 - Bankiersproblem : Formale Grundlagen der Informatik 2

   1. Moldt, Daniel

   2014 - Lecture2Go UHH - frei zugänglich
9. 15 - Systemverifikation durch Petrinetze : Formale Grundlagen der Informatik 2

   1. Moldt, Daniel

   2014 - Lecture2Go UHH - frei zugänglich
10. 16 - CPN / Workflow : Formale Grundlagen der Informatik 2

    1. Moldt, Daniel

    2014 - Lecture2Go UHH - frei zugänglich
11. 14 - Zustandsraumexplosion : Formale Grundlagen der Informatik 2

    1. Moldt, Daniel

    2014 - Lecture2Go UHH - frei zugänglich
12. 13 - Analyse endlicher Erreichbarkeitsgraphen : Formale Grundlagen der Informatik 2

    1. Moldt, Daniel

    2014 - Lecture2Go UHH - frei zugänglich