Here you can find the c code for the petrinet simulation