Perturbative symplectic field theory and Wigner function