http://www.artdecode.de/Podcast/Podcast.html Dieser Podcast enthält eine Reihe von Vorlesungen, die ich im Rahmen von Lehrproben gehalten habe oder halten werde. Dieser Podcast wird daher nur unregelmäßig aktualisiert. iWeb 2.0.2 http://www.artdecode.de/Podcast/Podcast_files/Burglary350.jpg http://www.artdecode.de/Podcast/Podcast.html 60 no Dieser Podcast enthält eine Reihe von Vorlesungen, die ich im Rahmen von Lehrproben gehalten habe oder halten werde. Dieser Podcast wird daher nur unregelmäßig aktualisiert. Dieser Podcast enthält eine Reihe von Vorlesungen, die ich im Rahmen von Lehrproben gehalten habe oder halten werde. Dieser Podcast wird daher nur unregelmäßig aktualisiert. en http://www.artdecode.de/Podcast/Entries/2007/12/10_Einf%C3%BChrung_in_Petri-Netze.html 7ef7e418-2cd0-46bd-86d1-d76b67a58576 Mon, 10 Dec 2007 12:03:25 +0100 <a href="http://www.artdecode.de/Media/Hannover.m4a"><img src="http://www.artdecode.de/Podcast/Media/Hannover.png" style="float:left; padding-right:10px; padding-bottom:10px; width:160px; height:160px;"/></a>Petri-Netze sind mächtige Werkzeuge, um gleichzeitig ablaufende Vorgänge beschreiben und analysieren zu können. In dieser Vorlesung verwenden wir Petri-Netze, um ein klassisches Problem aus der verteilten Programmierung zu analysieren und zu lösen: Den Deadlock. Deadlocks können immer dann entstehen, wenn Prozesse sich Ressourcen exklusiv sichern und nicht zu deren Herausgabe gezwungen werden können. In unserem Beispiel kommen sich zwei Prozesse ins Gehege, die dieselbe Rechnung auf denselben Drucker drucken wollen. Deadlocks haben Auswirkungen auf die Sicherheit eines Systems, wenn sie in Form von Denial-of-Service-Angriffen gezielt provoziert werden können. no 00:29:48 Petri-Netze sind mächtige Werkzeuge, um gleichzeitig ablaufende Vorgänge beschreiben und analysieren zu können. In dieser Vorlesung verwenden wir Petri-Netze, um ein klassisches Problem aus der verteilten Programmierung zu analysieren Petri-Netze sind mächtige Werkzeuge, um gleichzeitig ablaufende Vorgänge beschreiben und analysieren zu können. In dieser Vorlesung verwenden wir Petri-Netze, um ein klassisches Problem aus der verteilten Programmierung zu analysieren und zu lösen: Den Deadlock. Deadlocks können immer dann entstehen, wenn Prozesse sich Ressourcen exklusiv sichern und nicht zu deren Herausgabe gezwungen werden können. In unserem Beispiel kommen sich zwei Prozesse ins Gehege, die dieselbe Rechnung auf denselben Drucker drucken wollen. Deadlocks haben Auswirkungen auf die Sicherheit eines Systems, wenn sie in Form von Denial-of-Service-Angriffen gezielt provoziert werden können.