Petrinetzbasierte Spezifikation und Analyse operationaler Prozesse am Beispiel Eisenbahnsicherung

Medientyp: Buch; Hochschulschrift
Titel: Petrinetzbasierte Spezifikation und Analyse operationaler Prozesse am Beispiel Eisenbahnsicherung
Beteiligte: Einer, Stefan [VerfasserIn]
Erschienen: Düsseldorf: VDI-Verl., 2003
Erschienen in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI / 20 ; 37300
Ausgabe: Als Ms. gedr.
Umfang: XI, 211 S; Ill., graph. Darst
Sprache: Deutsch
ISBN: 3183373203
Schlagwörter: Eisenbahnsignalanlage > Bahnübergang > Automatisierungstechnik > Formale Spezifikationstechnik > Petri-Netz
Entstehung:
Hochschulschrift: Zugl.: Braunschweig, Techn. Univ., Diss., 2003
Anmerkungen:
Weitere Bestandsnachweise
0 : Fortschritt-Berichte VDI / 20

Petrinetzbasierte Spezifikation und Analyse operationaler Prozesse am Beispiel Eisenbahnsicherung - [Als Ms. gedr.]