Lars-Erik Jansen

Learn More
We consider the area of train control systems like the European Train Control Systems ETCS where several diierent scenarios are considered and accordant software components must interoperate eeectively in order to achieve the desired system behaviour. In order to specify corresponding problems for ETCS high-level Petri net techniques have been identiied as(More)
  • 1