added files for the petri net checker. The project compiles including them but I didn't test it yet