Praktikum Petrinetze

Hinweise zum Praktikumsbetrieb SS 2003

Ort und Zeit

Zeit: Montags 15.15-16.45, ab 07.04.2003
Raum: Ab sofert wieder im Seminarraum 03.09.014 !!!


Allgemeine Hinweise

  • Hinweise zum Praktikumsbetrieb (07.04.2003)

  • Aufgabenblätter

  • Aufgabenblatt   1 (07.04.2003)
  • Aufgabenblatt   2 (14.04.2003)
  •    Ostern
  • Aufgabenblatt   3 (28.04.2003)
  • Aufgabenblatt   4 (05.05.2003)
  • Aufgabenblatt   5 (12.05.2003)
  • Aufgabenblatt   6 (19.05.2003)
  • Aufgabenblatt   7 (26.05.2003)
  • Aufgabenblatt   8 (02.06.2003)
  •    Pfingsten
  • Aufgabenblatt   9 (16.06.2003)
  • Aufgabenblatt 10 (23.06.2003)
  • Aufgabenblatt 11 (30.06.2003)

  • Dokumentationen und Beschreibungen der verwendeten Werkzeuge

    Dokumentationen zu den Petrinetz-basierten Werkzeugen
  • The Kit Online-Dokumentation
  • Kurzübersicht Erläuterungen zur Sprache B(PN)² und CTL/LTL-Model-Checkern (PostScript)


    Literatur

    [CES86] E. M. Clarke, E. A. Emerson, and A. P. Sistla
    Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications
    ACM Transactions on Programming Languages and Systems, Vol. 8, no. 2, April 1986, pp. 244-263
    [CGP00] E. M. Clarke, O. Grumberg, and D. Peled
    Model Checking
    MIT Press, 2000
    [Esp95] Javier Esparza
    Skript zur Vorlesung Petrinetze
    Sommersemester 1995
    [Kie01] Astrid Kiehn
    Skript zur Vorlesung Nichtsequentielle Systeme und nebenläufige Prozesse
    Sommersemester 2001
    (zu finden in der SUN-Halle unter ~kiehn/skript-TT-MM-JJ.ps)
    [Mil89] Robin Milner
    Communication and Concurrency
    Prentice-Hall, 1989
    [Rei86] Wolfgang Reisig
    Petrinetze
    Springer, 1986
    [Ste95] Colin Sterling
    Modal and Temporal Properties of Processes
    Preliminary Draft, Edinburgh University, 1995


    Zurück zur Hauptseite des Praktikums Petrinetze.
    This site is VIM powered Stefan Römer ( Last modification: 2003/01/21-14:20 <8^) )