A Formal Approach for the Specication, Verication and Control of Flexible Manufacturing Systems
Sajeh Zaïri, Belhassen Zouari, Laurent Pitrac · 2007
This paper introduces a formal specication model that covers a large class of real Flexible Manufacturing System (FMS). Using this model, a designer expresses the functional capacities of his system and the product ows. Parallel manufacturing processes, having, transformation, assembly, disassembly, test and storage operations, are considered. FMS specication is automatically transformed into a CP-net model. Hence, the verication and the supervisory control techniques based on CP-nets can be applied to the generated CP-net. Thus, a parameterized solution is dened taking into account the e xibility of the specication model. The present work led to the implementation of a specic tool, called MAC-FMS, allowing graphical specication, supervisory control and verication through its interaction with CPN Tools environment (Jensen’s tool).