Title: Supervisory control of concurrent systems
Subjects: Parallel processing (Electronic computers), Petri nets, Supervisory control systems, Building