fix conversion bug
add dump method
disable dump and fix dot dump format
Merge pull request #9 from ryysd/fix_petrinet_bug

Fix petrinet bug