GraphC - Time Petri Net Analyser News
Brought to you by:
xiaoyumao
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