openETCS/toolchain — pull request #50 by AlexandreGinisty (2013-06-13 15:40:36+00:00)
Title: Update petriNets.tex

Second assessment (replacing Cyril Cornu)