Zhang G. Spiking Neural P Systems. Theory, Applications and Implementations 2024