On State Estimation of Timed Choice-Free Petri Nets | Publicación