Additional Metadata
Keywords Formal modelling, routing, shared resources, dioid algebraic structures, interval analysis, Petri nets
THEME Life Sciences (theme 5), Energy (theme 4)
Note Ph.D. defence transposed into English, to introduce my previous work in France for the members of my team.
Citation
Boutin, O.D.M. (2010, January). Modelling of Conflicts and Bounds Estimation in Production Systems Thanks to Dioid Theory.