Properties and performance bounds for timed marked graphs | Publicación