Wigner Function Modeling