Add doc folder with our petrinet without time constraint