Modeling train control systems with Petrinets-an operational specification.

Stefan Einer, Roman Slovk, Eckehard Schnieder

Browse the full SMC paper archive.