Specifically, the state variable S is truncated to a finite range [0, N??S], where N is a positive integer and ??S>0 is the step size that will be used for discretizing the partial differentiation with respect to S. Preferably, a time step ??t>0 is used for which M???T/??t is an integer for, discretizing the partial differentiation with respect to t.