Work

Formal methodology for designing control laws to meet generalised marking constraints for partially controllable timed event graphs