The modeling and analysis of supervisory systems