Institut für Computersprachen
Programmiersprachen und Übersetzer
 | Diplomarbeit |
|---|---|
| Titel | Zur Analyse von Petrinetzen |
| Autor | Breitenbach,Ilse |
| Erscheinungsjahr | 1975 |
| Abstract | Diese Arbeit unterteilt sich im wesentlichen in vier Abschnitte. Im ersten wird eine Grammatik zur Erzeugung von Petrinetzen vorgeführt und gezeigt, daß man ein einheitliches Regelsystem für alle Netzklassen finden kann. Im nächsten Teil werden Methoden zur Analyse von Netzen mit Hilfe dieser Grammatik angegeben. Ein Verfahren zum Test von Lebendigkeit und Sicherheit bei Marked-graphs wird vorgeführt. Der vierte Teil beschäftigt sich mit verschiedenen Arten, Petrinetze zu simulieren. |
| Status | Verfügbar |