Two polygraphic presentations of Petri nets - Guiraud, Yves (Theoretical Computer Science, 2006)