Update petriNets.tex

Second assessment (replacing Cyril Cornu)