I like the idea of keeping it simple.
The JK1 timers support PWM.
Create your project using Processor Expert.
Choose the PWM bean and it will create the PWM code for you.
You can then just use API calls to the PWM like these:
PWM1_SetRatio16(word Ratio); // sets the PWM according to a ratio 0-100%
PWM1_SetDutyMS(word Time); // sets the PWM duty cycle by mili-seconds
I like to use the SetRatio command. This way, when you set the period in the set up of the bean, you don't have to care about it anymore. Just send a command to set the duty cycle. Also, it's easy to make a loop in your code to increase / decrease the ratio for acceleration control.
Hope this helps.
uCTechnoGeek