Spiking neural P systems: main ideas and results. - Leporati, Alberto; Mauri, Giancarlo; Zandron, Claudio (Natural Computing, 2022)