What Topology tells us about Diagnosability in Partial Order Semantics

Stefan Haar 1, 2
2 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
Résumé : Déscription topologique de diagnosticabilité dans des sémantiques séquentielles et non-séquentielles des Réseaux de Petri.
Type de document :
Rapport
[Research Report] RR-7593, INRIA. 2011
Liste complète des métadonnées

https://hal.inria.fr/inria-00583666
Contributeur : Stefan Haar <>
Soumis le : jeudi 7 avril 2011 - 11:15:15
Dernière modification le : jeudi 11 janvier 2018 - 06:23:37
Document(s) archivé(s) le : vendredi 8 juillet 2011 - 02:34:46

Fichier

RR-7593.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00583666, version 1

Collections

Citation

Stefan Haar. What Topology tells us about Diagnosability in Partial Order Semantics. [Research Report] RR-7593, INRIA. 2011. 〈inria-00583666〉

Partager

Métriques

Consultations de la notice

153

Téléchargements de fichiers

64