This note presents a control synthesis approach for discrete event systems modeled by marked graphs with uncontrollable transitions. The forbidden behavior is specified by General Mutual Exclusion Constraints (GMEC). We prove that, even if the system to be controlled .s live, the closed loop control may generate deadlock situations. Using the structural proprieties of marked graph we defined the causes of deadlock situations, and we defined a formal method to avoid them.
In this paper, we are interested in determining a maintenance policy with an optimal cost to enable the company to generate significant profits, often the means of transport travelled different paths, they are characterized by the distance they covered; however each distance has an effect on the operating characteristics of means of delivery. The objective of this paper is twofold: It aims both to introduce the model of supply chain and specify distances, and codify the use of it in the proportional hazard model, later a maintenance policy was presented which takes into consideration the types of paths travelled by the means of delivery.