Title: Technische Formalismen zur Analyse und Beschreibung biologischer Systeme