(Dé)composition de Réseaux d'Automates Booléens
Pacôme Perrotin  1@  , Kévin Perrot, Sylvain Sené@
1 : Laboratoire dÍnformatique et Systèmes  (LIS)  -  Site web
Aix Marseille Université : UMR7020, Université de Toulon : UMR7020, Centre National de la Recherche Scientifique : UMR7020
Aix Marseille Université – Campus de Saint Jérôme – Bat. Polytech, 52 Av. Escadrille Normandie Niemen, 13397 Marseille Cedex 20 -  France

On propose un formalisme généralisant les RABs, leur permettant d'avoir des entrées. Ces systèmes se prouvent utiles dans la composition et décomposition de larges réseaux, dont on espère pouvoir examiner certaines propriétés pour un coût réduit. On propose notamment un résultat permettant d'obtenir des réseaux simulateur d'autres réseaux, par le branchement de petits systèmes simulant localement chaque sommet du RAB simulé.


Personnes connectées : 1