Bugs: prozess combo box muss PIDs anzeigen nicht process nums serialize/deserialize mehrerer prozesse?! Must do: 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