An approach to determine controllability of monolithic supervisors