Séminaire du 05 octobre 2007




Lieu

Université Paris-Dauphine: comment y aller

Programme

14h00-15h00: Elisabeth Pelz, LACL, Université Paris 12 - UPVM travail commun avec Dietmar Tutsch ( TU Berlin ) : "Modèles formels basés sur des réseaux de Petri HL compositionnels pour la communication multicast dans des réseaux d'interconnexions multicouche"

Abstract: Systems on chip and multicore processors emerged for the last years. The required networks on chips can be realized by multistage interconnection networks (MIN). Prior to technical realizations, establishing and investigating formal models help to choose best adequate MIN architectures. This paper presents a Petri net semantics for modeling suchMINs in case of multicast traffic. The new semantics is inspired by high-level versions of the Petri box algebra providing a method to formally represent concurrent communication systems in a fully compositional way. In our approach, a dedicated net class is formed, which leads to three kinds of basic nets describing a switching element, a packet generator, and a packet flush. With these basic nets, models of MINs of arbitrary crossbar size can be established compositionally following their inductive definition. Particular token generation within these high-level nets, as for instance, random load, yields an alternative approach to the use of stochastic Petri nets as in previous studies. The simulation of the models under step semantics provides a basis for performance evaluation and comparison of various MIN architectures and their usability for networks on chips. Particularly, multicast traffic patterns, which are important for multicore processors, can be handled by the new model.

15h00-15h30 : Anastasia Yartseva, doctorante à l'IBISC Université d'Evry : "MIN : un formalisme pour la modélisation des réseaux biologiques"

Abstract: le formalisme MIN (Modular Interaction Network) a été créé pour représenter des réseaux d'interactions entre des objets ou des processus biologiques à différents niveaux d'abstraction. La particularité du formalisme MIN est de ne pas posséder de sémantique propre, mais de fournir des algorithmes de traduction des données contenues dans MIN dans d'autres formalismes mathématiques pour l'analyse des modèles. Ainsi, des traductions en équations différentielles, en réseaux de Petri et en formalisme logique multivalué ont été définis. L'approche est illustrée sur l'exemple du switch génétique du bactériophage lambda.

15h30-16h00: pause café

16h00-16h30: vie du groupe