Zeitquantitativ nichtblockierende Supervisory-Steuerung zeitbehafteter diskreter Ereignissysteme

In zeitbehafteten diskreten Ereignissystemen müssen Aufgaben nicht nur innerhalb einer endlichen Anzahl von Schritten, sondern auch innerhalb einer vorgegebenen Zeit abgeschlossen werden. Daher wird in dieser Arbeit das Konzept der zeitquantitativ nichtblockierenden Eigenschaft eingeführt, um diese praktische Anforderung zu erfüllen.