Die Berliner Gesellschaft für Prozeßsteuerungs- und Informationssysteme mbH PSI präsentiert Net, ein Werkzeug für die Systemanalyse. Es ermöglicht eine grafische, hierarchische Beschreibung beliebiger Systeme. Der Analysebaustein des Net-Systems liefert den mathematischen Nachweis bestimmter Systemeigenschaften wie der Deadlockfreiheit. Durch Simulation der erstellten Modelle kann eine Untersuchung des dynamischen Systemverhaltens durchgeführt werden. Mit den Funktionen Animation und Monitoring steigt die Anschaulichkeit. Net ist verfügbar für alle VAXen unter VMS und für DEC-Workstations.

Informationen: PSI GmbH, Heilbronner Straße 10, 1000 Berlin 31,

Telefon 0 30/89 00 9-0, Halle 16, Stand C7