On performance bounds for interval time petri nets | Publicación