Sémantique concurrente symbolique des réseaux de Petri saufs et dépliages finis des réseaux temporels

On considere des reseaux de Petri colores, a contraintes lineaires et pouvant posseder des arcs de lecture. Sur cette classe, on definit une semantique concurrente en termes de processus d'ordre partiel permettant de garder explicite l'independance entre des tirs de transitions. L'ensemble des processus peut etre represente en utilisant la notion de depliage symbolique. Nous montrons alors comment les reseaux de Petri temporels peuvent etre codes dans ce modele a l'aide d'une transformation syntaxique preservant la concurrence. Cette transformation permet de definir la notion de depliage de reseaux de Petri temporels et d'en donner une representation par prefixe fini.