27 janvier 2014
Sergiu Ivanov (LACL - UPEC)Nous examinons le problème de construction de réseaux de Petri de petite taille avec des arcs inhibiteurs. Nous considérons et essayons de minimiser quatre paramètres de complexité descriptive : le nombre de places, de transitions, d’arcs inhibiteurs, ainsi que le degré maximal d’une transition. Nous proposons six constructions avec les tailles suivantes des paramètres correspondants : (30, 34, 13, 3), (14, 31, 51, 8), (11, 31, 79, 11), (21, 25, 13, 5), (67, 64, 8, 3), (58, 55, 8, 5). Ces constructions améliorent les peu nombreux résultats connu par rapport à l’universalité des réseaux de Petri, et en plus nous mettons en évidence certains compromis. À cause des équivalences, notre résultats peuvent être traduits pour la réécriture des multiensembles avec des conditions interdisantes ou bien pour les systèmes P avec des inhibiteurs.