Skip to Main content Skip to Navigation
Conference papers

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], Inria Saclay - Ile de France
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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00779904
Contributor : Stefan Haar <>
Submitted on : Tuesday, January 22, 2013 - 4:58:37 PM
Last modification on : Tuesday, June 15, 2021 - 4:29:44 PM

Identifiers

  • 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. ⟨hal-00779904⟩

Share

Metrics

Record views

1034