RESET-Behandlung

Beim Reset eines einzelnen Kanals werden die Synchronisationsereignisse des betroffenen Kanals gelöscht, d.h. alle Warteanforderungen (#WAIT), die der betroffene Kanal geschickt hat, und alle Standardsignale (#SIGNAL), die für diesen bestimmt sind.

Broadcast-Signale werden bei einem Reset eines Kanals nicht gelöscht, da diese evtl. noch von Kanälen erwartet werden. Diese müssen explizit (#SIGNAL REMOVE) gelöscht werden.