Fixed 'possible_petri_net' bug and some errors from my last commit