A k-output spiking neural P system (SNP) with output neurons, O
1, ..., O
k
, generates a tuple (n
1, ..., n
k
) of positive integers if, starting from the initial configuration, there is a sequence of steps such that during the computation,
each O
i
generates exactly two spikes a a (the times the pair a a are generated may be different for different output neurons) and the time interval between the first a and the second a is n
i
. After the output neurons generate their pairs of spikes, the system eventually halts. We give characterizations of sets
definable by partially blind multicounter machines in terms of k-output SNPs operating in a sequential mode. Slight variations of the models make them universal.
The research of O. H. Ibarra and S. Woodworth was supported in part by NSF Grants CCF-0430945 and CCF-0524136. The research
of A. Păun was supported in part by NSF Grant CCF-0523572.