3. More complicated models would vary the inductance depending on
rotation speed, electrical frequency and possibly angular position of
the rotor... but hopefully you don't have to go that far.
All in all... I think Spice will be a pretty awkward tool to do any
more than (1.). I'd look at something like University of South
Carolina's VTB (Virtual Test Bed). It's free, but closed source.
Unfortunately, I believe that the model will be more like #3. The power
source is a periodic hydraulic one. My ultimate task is to deliver peak
power from the mechanical system regardless of the available input power
(wave action). In addition to modeling the motor, I will need to model
the mechanical components. I looked briefly at the SC site, but it
requires a plug-in that I don't have.