For the most recent entries see the Petri Nets Newsletter.

Die formale Modellierung und Simulation von ERTMS ETCS auf der Basis von Petrinetzen.

Meyer zu Hörste, Michael

In: Schnieder, E.: FORMS 98. Braunschweig: IfRA, Mai 1998.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography