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 19997 can not be presented in details here.