Cycle time computation in deterministically timed weighted marked graphs | Publicación