Publié
Physics
Description et Analyse de Performances des Réseaux de Petri Colorés Temporisés à l'aide du Dioïde des Séries Formelles Colorées.
Publié le - Modélisation des Systèmes Réactifs (MSR'23)
Description et Analyse de Performances des Réseaux de Petri Colorés Temporisés à l'aide du Dioïde des Séries Formelles Colorées.