1. D.A. Zaitsev, Solving operative management tasks of a discrete manufacture via Petri net models, PhD thesis, Kiev, the Academy of sciences of Ukraine, Institute of Cybernetics name of V.M.Glushkov, 1991. In Russ. https://daze.ho.ua/daze-phd-1991.pdf.
2. State equations and equivalent transformations for timed petri nets;Zaitsev;Cybern. Syst. Anal.,1997
3. On the computational complexity of spiking neural P systems;Neary;Nat. Comput.,2010
4. Small universal spiking neural P systems with exhaustive use of rules;Zhang,2008
5. Spiking Neural P Systems with an Exhaustive Use of Rules;Paun;Int. J. Unconv. Comput.,2007