Classic receiving antenna analysis bases the induced terminal voltage upon the strength of the arriving time variant electric field. A good explanation can be found at:
http://en.wikipedia.org/wiki/Antenna_measurementLook at the section "Calculation of Antenna parameters in reception".
It provides a Thevinen equivalent circuit for an antenna based upon a voltage source and series impedance. This is why I suggested a voltage source and series impedance (or resistance) for your spice simulation. A current souce could be used by converting the voltage source and series impendance to an equivalent current source with parallel conductance. A lot of what you do has to do with what you are trying to study with the Spice simulation.
From the referencd website:
The induced voltage is proportional to: 1. the Square root of the real part of antenna impednace times the antenna gain; 2. the wavelength; 3. the cosine of the angle between the antenna elements and the incoming wave; 4. the strenght of the incoming waves electric field; and inversly proportional to the square root of Pi times the impedance of of free space (approx 377 Ohms). This equivalent circuit is valid for all types of antennas.
I can understand the thought that a dipole would be a current source as the radiation from a dipole is derived by the integration over a length of minute current dipole elements.
Lenz's law has to do with deriving the polarity of the induced current in a conductor. the induced current is of a polarity such that if it were appplied to the conductor, it would create a magnetic field opposite to the applied magnetic field. It sort of like the idea that if you push on a wall with a one pound force, it pushes in the opposite direction with a one pound force. it was to explain why the current polarity is what it is.