Title: Verteilende Verfeinerung - Entwurf Und Verifikation Verteilter Algorithmen Mit Petrinetzen