Fixes #4 clone Petri net name
Add default token when creating empty petri net before firing message
Formal FuncitonalResults