A hybrid Petri nets approach for railway systems | Publicación