Learn More
This paper addresses the forbidden state problem of Petri nets (PN) with liveness requirement and uncontrollable transitions. The proposed approach computes a maximally permissive PN controller, whenever such a controller exists. The first step, based on a Ramadge–Wonham-like reasoning, determines the legal and live maximal behavior the controlled PN should(More)
This paper addresses the design of a maximally permissive PN controller for the forbidden state problem of bounded Petri nets (PN) under partial observation. The controlled observer reachability graph of the controlled PN which represents the most permissive behavior with liveness requirement and uncontrollable/unobservable transitions is determined using(More)
This paper deals with the optimization of a manufacturing–remanufacturing–transport– warehousing closed-loop supply chain, which is composed of two machines for manufacturing and remanufacturing, manufacturing stock, purchasing warehouse, transport vehicle and recovery inventory. The proposed system takes into account the return of used end-of-life products(More)
HAL is a multidisciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt età la diffusion(More)