Add utility to generate DOT output for petri nets