Marking estimation of Petri nets based on partial observation | Publicación