Skip to main content
← Back to work

Works cited by this work

27 works

Work: Route management modeling of high-speed trains on the train dispatcher section

  1. On an optimal control problem of train operation

    Eugene Khmelnitsky

    Article20004 citations
    ABI
  2. Model Checking Interlocking Control Tables

    Alessio Ferrari, Gianluca Magnani, Daniele Grasso +1

    Chapter20114 citations
    ABI
  3. Ordinary Petri Net Matrices

    Anthony Staines

    Article20194 citations
    ABI
  4. Free Choice Petri Nets

    Jörg Desel, Javier Esparza

    Book19953 citations
    ABI
  5. Petri nets: Properties, analysis and applications

    T. Murata

    Article19893 citations
    ABI
  6. Enhanced ETCS_L2/L3 train control system

    D. Emery

    Chapter20103 citations
    ABI
  7. Untitled

    Other1 citations
    ABI
  8. Untitled

    Other1 citations
    ABI