This paper presents a new method of computing a minimal supervisory structure that optimally enforces liveness on the Petri net models for flexible manufacturing systems (FMSs). The proposed method utilizes the structural properties of a Petri net model to avoid the computation of its reachability graph. which in general leads to the state explosion problem. This paper aims to design ... https://safeersappliancers.shop/product-category/bosch-serie-6-pvw851fb5e-black-countertop-zone-induction-hob-9-zon/