Entwurfsvalidation für verteilte Informationssysteme mit dem graphischen, mehrbenutzerfähigen Pr/T-Netz-Simulator GAPS+.