Function dot_export 

pub fn dot_export(net: &PetriNet, config: Option<&DotConfig>) -> String

Convenience function: maps a PetriNet to DOT format string.