| 摘要 |
<p>Um Blockierungen zwischen konkurrierenden Einzelprozessen innerhalb eines Gesamtprozesses zu verhindern, werden Funktionalitäten der Einzelprozesse identifiziert und eine Validierung des Zusammenspiels dieser Funktionalitäten durchgeführt. Die aus der Validierung erhaltenen Daten sind für eine Steuerung des Gesamtprozesses einsetzbar.</p> |
