24/01/2008
Luca Fossati (PPS / Università di Torino)
A Petri Net Model of Handshake Circuits

Les circuits handshake sont des circuits asynchrones avec un protocole interactif de communication. On propose un modèle de ces circuits qui utilise la notion de handshake Petri nets, des réseaux de Petri dont les connexions externes ont une structure particulière. On considère différentes sous-classes de ces réseaux et on montre que chacune corresponds à des intéressantes propriétés comportementales des circuits. D'abord on considère la classe des graphes marqués qui correspondent à ceux qu'on appelle circuits déterministes réactifs. En suite on définit la notion de réseau à choix déterministe qui correspond à tous les circuits déterministes. On atteint le non-déterminisme avec les réseaux à choix libre et les réseaux simples. Autour de l'exposé on fait des comparaisons entre les handshake Petri nets et un modèle à jeux précédent des circuits handshake, on montre que les handshake Petri nets permettent de dépasser des limitations de l'ancien modèle. Finalement on montre brièvement comment modéliser le passage de donnés avec les réseaux colorés. Le travail a été fait en collaboration avec Daniele Varacca.