Added evaluation of petri nets
Merge pull request #39 from janWelte/master

Edited petri nets appendix