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

Thomas Chatain 1 Claude Jard 2
1 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
2 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Résumé : On considère des réseaux de Petri colorés, à contraintes linéaires et pouvant posséder des arcs de lecture. Sur cette classe, on définit une sémantique concurrente en termes de processus d'ordre partiel permettant de garder explicite l'indépendance entre des tirs de transitions. L'ensemble des processus peut être représenté en utilisant la notion de dépliage symbolique. Nous montrons alors comment les réseaux de Petri temporels peuvent être codés dans ce modèle à l'aide d'une transformation syntaxique préservant la concurrence. Cette transformation permet de définir la notion de dépliage de réseaux de Petri temporels et d'en donner une représentation par préfixe fini.
Type de document :
Communication dans un congrès
Actes de la 10ème Conférence Internationale sur les NOuvelles TEchnologies de la RÉpartition (NOTERE'10), 2010, Tozeur, Tunisia, Tunisie. IEEE Computer Society Press, 2010
Liste complète des métadonnées

https://hal.inria.fr/hal-00779904
Contributeur : Stefan Haar <>
Soumis le : mardi 22 janvier 2013 - 16:58:37
Dernière modification le : vendredi 16 novembre 2018 - 01:21:44

Identifiants

  • HAL Id : hal-00779904, version 1

Citation

Thomas Chatain, Claude Jard. Sémantique concurrente symbolique des réseaux de Petri saufs et dépliages finis des réseaux temporels. Actes de la 10ème Conférence Internationale sur les NOuvelles TEchnologies de la RÉpartition (NOTERE'10), 2010, Tozeur, Tunisia, Tunisie. IEEE Computer Society Press, 2010. 〈hal-00779904〉

Partager

Métriques

Consultations de la notice

703