Strukturierte und wissensbasierte Modellierung informationstechnischer Systeme mittels stochastischer Petri-Netze.