Petri nets are robust mathematical tools for the modelling. handling. and control of deadlock problems in automated manufacturing systems (AMSs). Several methods have been proposed to prevent deadlocks in AMSs. https://parisnaturalfoodes.shop/product-category/aloe/