SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper)

From MaRDI portal
Publication:2941154