A characterization of realizable behavior in supervisory control of timed event graphs

From MaRDI portal
Publication:1129729