%0 Generic %D 2007 %T Spiking neural P systems with an exhaustive use of rules %A Mihai Ionescu %A Gheorghe Paun %A Takashi Yokomori %C Philadelphia, USA %I Old City Publishing Inc. %N 2 %P 135-153 %U http://direct.bl.uk/bld/PlaceOrder.do?UIN=210412711&ETOC=RN&from=searchengine %V 3 %X We consider spiking neural P systems with a new type of rule application: whenever a rule is enabled in a neuron, it is used in an exhaustive manner, i.e., as many times as possible for the number of spikes from that neuron. Thus, also the number of spikes produced at a time in that neuron can be arbitrarily large; all produced spikes are transmitted to neighboring neurons through synapses. A result is associated with a computation as usual, in the form of the number of time units elapsed between the first two steps when the output neuron spikes. In this framework, we prove the computational completeness of our systems, both as number generating devices and as number accepting devices. Several research topics are also pointed out.