Ansätze zur Entwicklung von Eisenbahnleitsystemen auf der Basis von Petrinetzen
A railway demonstrator model for experimental investigation of integrated specification techniques
Petrinetze für die durchgängige Entwicklung von Systemen der Eisenbahnsicherung