Performance evaluation of petri nets execution algorithms | Publicación