Ionescu, M., Paun G., & Yokomori T.  (2007).??Spiking neural P systems with an exhaustive use of rules.  International Journal of Unconventional Computing. 3(2),?135-153.