Observers for nondeterministic λ-free labeled Petri nets | Publicación