Reflexive Incidence Matrix (RIM) Representation of Petri Nets