Consider adding Visualizations (Petri Nets and maybe other Plots)

[aarkue]

It might be interesting to directly plot diagrams or visualize Petri nets in this library.

Interesting related libraries:

• https://github.com/nadavrot/layout (Graphviz graph plots; Good for visualization of Petri nets; Export to SVG)
• https://github.com/plotters-rs/plotters (Both primitives for plotting + existing line graphs, histograms, dotted charts; Export to SVG/Bitmap/WASM HTML Canvas)
• https://github.com/plotly/plotly.rs (Wrapper around Plotly.js; Large support for diagrams/plots; Export to SVG with kaleido feature; Interactive plots in HTML/JS)

I think it is hard to find one solution for both Plots/Diagrams and Petri Nets. Currently, I think layout amd plotly.rs are the most interesting to support.

Either way, all visualization features should be put behind a (or multiple) feature flag(s).

To find the best working approach, it might be intriguing to also experiment with a (very basic) GUI for the library (maybe using tauri?). This GUI would then either draw visualizations itself (e.g., Plotly JS getting the data from the Rust side) or simply display the visualization (SVG/Bitmap generated on the Rust side).

Action Points:

• [x] Add a Petri Net visualization feature to export Petri Nets as SVG files
• [ ] Maybe: Add some event log statistics + plots (e.g., dotted chart) feature (also allowing export as static file)

[aarkue]

After some further consideration, it seems like for Petri net export graphviz-rust is a better fit, as it natively binds to dot executables (which has to be already installed!). This is mainly motivated by the larger feature set and popularity of graphviz; the layout crate at least currently, does not produce very nice layouts for Petri nets.