branch ready to work with petri net checker