Options
Anästhesie Simulation auf einem Parallelrechner mit SystemSpecs
Auteur(s)
Maison d'édition
: Springer
Date de parution
1992
De la page
380
A la page
390
Résumé
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.
Notes
, 1992
Nom de l'événement
Parallele Datenverarbeitung mit dem Transputer
Lieu
Aachen
Identifiants
Autre version
http://link.springer.com/chapter/10.1007/978-3-642-78123-0_38
Type de publication
conference paper
