Untersuchung und Ums... Theses on offer Static data flow ana...

Diploma thesis

Definition and Analysis of Coverage Criteria for Colored Petri Nets

(Original Title:Definition und Untersuchung von Überdeckungskriterien für gefärbte Petri Netze zur Modellierung und Analyse autonomer Systeme )

Download description  Download description

 

Abstract

Author: Raimar Lill

Tutor: Dr. Sven Söhnlein, Dipl.-Inf. Florin Pinte