Petri net controlled grammars with a bounded number of additional places

From MaRDI portal
Publication:3074463