Update petriNets.tex

Second assessment (replacing Cyril Cornu)
Merge pull request #50 from AlexandreGinisty/patch-2

Update petriNets.tex