This paper proposes the synthesis of Petri net supervisors based on a think-globally-actlocally (TGAL) approach and a vector covering technique for flexible manufacturing systems. Given a Petri net model with deadlocks. the TGAL approach first temporarily adds a global idle place (GP). A GP has initially only one token. https://mylittlewardrobers.shop/product-category/beanies/