A description of the non-sequential execution of Petri nets in partially commutative linear logic