Added documents to demonstrate the petri nets approach
Merge pull request #26 from janWelte/master

Added Information for the Petri Nets approach