Text this: Two polygraphic presentations of Petri nets