Relation between Wigner functions and the source functions used in the description of Bose-Einstein correlations in multiple particle production

Relations between Wigner functions and the source functions used in models of Bose-Einstein correlations in multiple particle production are derived and discussed. These relations are model dependent. In particular it is important whether the particles are emitted simultaneously and if not, whether the production amplitudes corresponding to different moments of time can interfere with each other.