Modellierung verteilter Systeme