Dans les systèmes basés sur le Web, des agents interagissent au travers de protocoles prédéfinis appelés sessions. Les sessions sont des processus logiques, similaires à des transactions. Cependant, à la différence des transactions, des sessions sur le Web ne peuvent pas être entièrement encapsulées et isolées de leur environnement. Il faut donc s'assurer qu'un système utilisant des sessions ne comporte pas d'interférences indésirables. Un challenge pour concevoir un modèle de système orienté session est qu'il n'y a pas a priori de borne sur le nombre de sessions qui peuvent coexister au sein du système. la plupart des exemples réalistes imposent de savoir différencier deux sessions. Cependant, pour être utilisable, un modèle doit éviter de gérer des ensembles infinis d'identités d'agents et de sessions. Cet article propose un modèle appelé Session Systems, qui permet de modéliser un ensemble d'agents et de sessions de taille arbitraire. Les agents sont équipés d'une mémoire bornée leur permettant de mémoriser les identités d'autres agents. Les configurations de ce modèle sont représentées par des graphes, et la sémantique de notre modèle définie par des récritures de graphes. Nous montrons qu'avec une restriction raisonnables, les session systems sont des systèmes de transitions bien structurés. Ceci permet donne immédiatemetn des algorithmes pour vérifier des propriétés de couverture relativement simples, ou des propriétés plus complexes, telles que des règles commerciales : conflits d'intérêt ou muraille de Chine.