On Controllability of Timed Continuous Petri Nets

From MaRDI portal
Publication:3523134