Added some operations to the Petri Net and Transition class.