Title: Formal Methods in Manufacturing Systems - Recent Advances
Subjects: Production engineering, Engineering, data processing, Computer science, Petri nets