Must do: Bugfix: Local Tasks of the Processes Reliable Multicast Ganze simulationseinstellungen abspeichern/laden koennen Events serialisierbar machen TaskManager + Tasks serialisierbar machen VSPrefsRestriction serialisierbar machen Tasks anhand der Tasknummern den richtigen Prozessen zuordnen Jedes Eventobjekte den Tasks und der Prozesse anhand der IDs zuordnen Evtl.: Kapseln: Protokolle sollen nur fuer sie bestimtme methoden aufrufen koennen Periodische Tasks anlegen koennen "Himmelobjekt"? Simulationen beliebig lang machen KeyEvent Manager Loggingfenster soll nur Lamport/Vektorzeit anzeigen, wenn ausgewaehlt Evtl. nicht: Protocols: Waehlermengen nach Maekawa? NFS AFS Systemschnitte? Middleware-Schicht? Ereignisse, die Prozessvariablen aendern Bedingte Ereignisse