A language to describe petri nets as front end of graphviz' dot language.