Anästhesie Simulation auf einem Parallelrechner mit SystemSpecs

SystemSpecs[2, 1] ist ein Programm — Entwicklungswerkzeug, das sich besonders zur Spezifikation von komplexen Systemen eignet. Die formale Basis von SystemSpecs bilden dabei Petri Netze höherer Ordnung, Petri Netze sind Graphen, auf denen sogenannte Marken bewegt werden, und so die zeitliche Abfolge der Zustände des Systems beschreiben. Die mathematische Grundlage dieser Netze gestattet es, mit analytischen Methoden mögliche Probleme, z.B deadlocks, zu erkennen und gewünschte Eigenschaften nachzuweisen. Die grundlegenden Konstrukte eines parallelen Systems, wie Sie in occam etwa durch die SEQ, PAR und ALT Anweisungen gegeben sind, haben dabei einfache intuitive Darstellungen.

, 1992