Graph-rewriting Petri nets

From MaRDI portal
Publication:1663983