---

ProM itself does not offer editing functionality. We use DOT to automatically layout our graphs in ProM (this way, we can concentrate on the analysis capabilities of ProM).

However, there is a possibility to directly edit Petri nets in Yasper via ProM: See further details on the Petri net editing via ProM in Yasper here .