How does the memory work? By timed-arc Petri nets | Publicación