You can now generate graph easily with GraphC generator/Time Petri nets analyser with support of Java Web start. go and have a try: http://graphc.sourceforge.net