Railway modeling with object enhanced time Petri nets

Mihai F. Enache, Dahlia Al-Janabi, Tiberiu S. Letia. Railway modeling with object enhanced time Petri nets. In IEEE International Conference on Automation, Quality and Testing, Robotics, AQTR 2018, Cluj-Napoca, Romania, May 24-26, 2018. pages 1-6, IEEE, 2018. [doi]

Abstract

Abstract is missing.