Performability-Analyse flexibler Fertigungssysteme auf der Basis stochastischer Petri-Netz-Modelle.