Modeling train control systems with Petri nets-a functional reference-architecture.

Michael Meyer zu Hrste, Eckehard Schnieder

Browse the full SMC paper archive.