Title: Rechnergestützte symbolisch-algebraische Berechnungsmethoden in Warteschlangensystemen