On spiking neural P systems