Petri Net Distributability

Philippe Darondeau 1 Eike Best 2
1 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Type de document :
Communication dans un congrès
Edmund M. Clarke et Irina Virbitskaite et Andrei Voronkov. Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference, PSI 2011, Jun 2011, Novosibirsk, Russia. Springer, 7162, pp.1-18, 2012, LNCS. 〈10.1007/978-3-642-29709-0_1〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00745311
Contributeur : Philippe Darondeau <>
Soumis le : jeudi 25 octobre 2012 - 11:45:04
Dernière modification le : mercredi 16 mai 2018 - 11:23:04

Identifiants

Citation

Philippe Darondeau, Eike Best. Petri Net Distributability. Edmund M. Clarke et Irina Virbitskaite et Andrei Voronkov. Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference, PSI 2011, Jun 2011, Novosibirsk, Russia. Springer, 7162, pp.1-18, 2012, LNCS. 〈10.1007/978-3-642-29709-0_1〉. 〈hal-00745311〉

Partager

Métriques

Consultations de la notice

224