Browsing by Author "Vesper, Tobias"

Now showing items 1-4 of 4

1997-12-01Buch

DAWN

Weber, Michael; Walter, Rolf; Völzer, Hagen; Vesper, Tobias; Reisig, Wolfgang; Peuker, Sybille; Kindler, Ekkart; Freiheit, Jörn; Desel, Jörg
2000-12-08Dissertation

Petrinetze zum Entwurf selbststabilisierender Algorithmen

Vesper, Tobias

Edsger W. Dijkstra prägte im Jahr 1974 den Begriff Selbststabilisierung (self-stabilization) in der Informatik. Ein System ist selbststabilisierend, wenn es von jedem denkbaren Zustand aus nach einer endlichen Anzahl ...
1996-08-01Buch

Petrinetzmodelle zur Verifikation Verteilter Algorithmen

Walter, Rolf; Völzer, Hagen; Vesper, Tobias; Reisig, Wolfgang; Kindler, Ekkart; Freiheit, Jörn; Desel, Jörg
2005-06-30Buch

Validierung eines Petrinetz-basierten Steuerungssystems

Vesper, Tobias; Weber, Michael