Petri meets Pauli