Title: Ein Werkzeug für den Entwurf verteilter Systeme auf der Basis erweiterter Petri-Netze