Unter Verwendung von Petrinetzen wird die Entwicklung eines Ampelsteuerprogramms beschrieben. Die Petrinetzsyntax wird erläutert. Das geforderte Verhalten der Ampelanlage wird in ein Prozeßmodell mitgesetzt. Die Ablaufsteuerung ist unterteilt in Anlagenverwalter, Zeitgeber, Tastererfassung und Lichtfolgensteuerung.
Parallelsteuerung und Petrinetze. Eine Ampelsteuerung in OCCAM
Parallel control and petri network. Traffic light control with OCCAM
MC - Die Mikrocomputer-Zeitschrift ; 10 , 6 ; 106-113
1990
7 Seiten, 6 Bilder, 1 Tabelle, 5 Quellen
Aufsatz (Zeitschrift)
Deutsch
Petrinetze für die durchgängige Entwicklung von Systemen der Eisenbahnsicherung
Tema Archiv | 2000
|Petrinetze fur die durchgangige Entwicklung von Systemen der Eisenbahnsicherung
British Library Conference Proceedings | 2000
|