Scenario-Based Modeling of the On-Board of a Satellite-Based Train Control System With Colored Petri Nets

Daohua Wu, Eckehard Schnieder. Scenario-Based Modeling of the On-Board of a Satellite-Based Train Control System With Colored Petri Nets. IEEE Transactions on Intelligent Transportation Systems, 17(11):3045-3061, 2016. [doi]

Abstract

Abstract is missing.