Constrained properties, semilinear systems, and Petri nets

From MaRDI portal
Publication:6162100