On the representation of Petri nets as state difference equations