Performance evaluation of a flexible manufacturing system using two formal methods

Abstract : The interest of this paper is to evaluate the cycle time of a Flexible Manufacturing System (FMS) containing shared resources. Thus, we propose a comparative study between the heaps of pieces theory based approach and the net of conflicting timed event graphs (NCTEG) in (max, +) algebra based approach. The general idea of the first method is to pile up pieces considered in a heap automaton according to a certain scheduling of these pieces. Then, this enables to transform a safe Petri Net (PN) into a heap model. The second method consists of describing the behaviour of NCTEGs with an allocation sequence of the conflict places tokens in max-plus algebra. The main contribution of this paper is to solve the problem of management of the conflict place token using different real time scheduling rules where the behaviour of the system is given by simulation.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01238564
Contributor : Saïd Amari <>
Submitted on : Saturday, December 5, 2015 - 6:12:54 PM
Last modification on : Thursday, February 8, 2018 - 11:08:02 AM

Identifiers

Citation

Liza Mameri, Redouane Kara, Saïd Amari. Performance evaluation of a flexible manufacturing system using two formal methods . Control, Engineering & Information Technology (CEIT), 2015 3rd International Conference on, May 2015, Tlemcen, Algeria. ⟨10.1109/CEIT.2015.7233167⟩. ⟨hal-01238564⟩

Share

Metrics

Record views

245