Skip to main content

Module mapper

Module mapper 

Source

Structs§

DotConfig
Configuration for DOT export.

Functions§

map_to_graph
Maps a PetriNet to a format-agnostic Graph.
sanitize
Sanitize a name for use as a DOT identifier.