Petri Nets as Token Objects

From MaRDI portal
Publication:5055702