sig val draw : string -> string -> Petri.t -> string -> unit end