Internationaler Workshop über Petri-Netze und Software-Engineering, Newcastle upon Tyne, Vereinigtes Königreich

Am 20. und 21. Juni 2011 findet in Newcastle upon Tyne, Vereinigtes Königreich, ein internationaler Workshop zum Thema Petri-Netze und Software-Engineering statt.

Um komplexe Systeme, die aus interagierenden und reaktiven Software- und Hardwarekomponenten bestehen, erfolgreich entwickeln zu können, ist die Verwendung einer präzisen Sprache in den verschiedenen Phasen des Entwicklungsprozesses von entscheidender Bedeutung.

In diesem Bereich werden Petri-Netze immer beliebter, da sie eine einheitliche Sprache bereitstellen und bei Modellierung, Validierung und Verifizierung helfen. (Ein Petri-Netz (im Englischen auch als "place/transition net" oder "P/T net" bezeichnet) ist eine mögliche mathematische Modellierungssprache zur Beschreibung verteilter Systeme.) Petri-Netze sind besonders beliebt, weil sie grundlegende Aspekte der Kausalität, Parallelität und Wahl in einer natürlichen und mathematisch präzisen Art und Weise und ohne Abstriche bei der Lesbarkeit erfassen.

Die Konferenz befasst sich unter anderem mit folgenden Themen:
- Modellierung
- Validierung und Ausführung
- Überprüfung
- Die Anwendung von Petri-Netzen im Bereich des Software-Engineering
- Offene Probleme und neue Anwendungen von Petri-Netzen
- Die Verbindung zwischen Petri-Netzen und Software-Engineering
- WerkzeugeWeitere Informationen unter: http://www.informatik.uni-hamburg.de/TGI/events/pnse11/(öffnet in neuem Fenster)