Skip to main content

Module dot_exporter

Module dot_exporter 

Source

Functionsยง

dot_export
Convenience function: maps a PetriNet to DOT format string.