Added Information for the Petri Nets approach

I have added some documents explaining the petri net approach and showing the modells, since the work from 1997 can not be presented in details here.