Modélisation modulaire à l’aide d’automates (max,+)

Une démarche modulaire pour la modélisation de systèmes à événements discrets à l\u27aide d\u27automates (max,+) est proposée. Elle consiste à décomposer le système en sous-systèmes, chacun pouvant être modélisé par un automate (max,+) déterministe. Seuls des phénomènes de concurrence sont ainsi modélisés. Les interactions entre ces sous-systèmes sont prises en compte au travers d\u27événements communs survenant simultanément au sein de chaque composante, et sont traduites par un produit synchrone entre les différents automates déterministes. Des phénomènes de synchronisation peuvent ainsi être modélisés. On met en avant que cette démarche revient, en termes de réseaux de Petri, à modéliser des sous-systèmes à l\u27aide de graphes d\u27état temporisés saufs et à composer ceux-ci en fusionnant des transitions