An optimized asset management petri net model for railway sections | Publicación