Abstract
Ontwikkeling van methoden en software tools voor het modelleren en verifieren van dynamische eigenschappen van software systemen ter ondersteuning van de activiteiten van het LaQuSo laboratorium. In het bijzonder betreft het een combinatie van methoden uit de Petrinetten en procesalgebra, waardoor de sterke kanten van beide benaderingen voor procesmodellering en analyse in een toolset verenigd worden.