Separability in Persistent Petri Nets

Eike Best 1 Philippe Darondeau 2
2 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Résumé : Nous prouvons que les reseaux de Petri ordinaires, bornes, reversibles et persistants sont faiblement et fortement separables.
Type de document :
Communication dans un congrès
Johan Lilius and Wojciech Penczek. Petri Nets, Jun 2010, Braga, Portugal. Springer-Verlag, 6128, pp.246-266, 2010, LNCS
Liste complète des métadonnées

https://hal.inria.fr/inria-00553867
Contributeur : Philippe Darondeau <>
Soumis le : lundi 10 janvier 2011 - 09:55:59
Dernière modification le : vendredi 21 septembre 2018 - 19:18:01

Identifiants

  • HAL Id : inria-00553867, version 1

Citation

Eike Best, Philippe Darondeau. Separability in Persistent Petri Nets. Johan Lilius and Wojciech Penczek. Petri Nets, Jun 2010, Braga, Portugal. Springer-Verlag, 6128, pp.246-266, 2010, LNCS. 〈inria-00553867〉

Partager

Métriques

Consultations de la notice

218