J. Dassow and S. Turaev, “Petri net controlled grammars with a bounded number of additional places”, Acta Cybern, vol. 19, no. 3, pp. 609-634, Jan. 2010.