Models Developed for Spiking Neural Networks