Cooperability in Train Control Systems: Specification of Scenarios using Open Nets Padberg, Julia Jansen, L. Ehrig, Hartmut Schnieder, Eckehard Heckel, Reiko 2001 - ReposIt