New Visualizer Plug-ins: Visualize (Accepting) Petri Net using Reduction Layout

Two new visualizer plug-ins have been added to the ProM Nightly Build: One to visualize regular Petri nets and one to visualize accepting Petri nets. Both visualizer plug-ins use JGraph to visualize the net at hand, but they will use their own layout algorithm, which is based on existing Petri-net-based reduction rules. As an example, Read More …