Timed marked graphs, a special class of Petri nets, are extensively used to model and
analyze cyclic manufacturing systems. Weighted marked graphs are convenient to model …

Petri nets (PNs) are widely used to model flexible manufacturing systems (FMSs). This paper
deals with the performance optimization of FMSs modeled by Petri nets that aim to maximize …

Cette thèse s' inscrit dans le cadre de la théorie des systèmes linéaires dans les dioïdes.
Cette théorie concerne la sous-classe des systèmes à événements discrets modélisables …

Cette thèse constitue une contribution à l'étude des performances des Systèmes à
Événements Discrets (SED), en particulier les systèmes de production, à l'aide d'une …

In the last decades, there has been a constant increase in the awareness of company
management about the importance of formal techniques in industrial settings to address …