PNML 2 Dot is a simple conversion application of Petri net models into dot graphs. It runs standalone on the command line, or as a server.
