Université Paris-Dauphine: comment y aller
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.
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.