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

Fixed the bug about the possible/not possible constant values for the actions of a petri net.