Colette Johnen
Original record- Institution
- Université Paris-Sud XI - Orsay
- Year
- 1987
- Country
- France
- MGP identifier
- 132375
Dissertation: Analyse algorithmique des réseaux de Petri : vérification d'espace d'accueil, usage des systèmes de réécriture
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Gérard BerthelotUniversité Pierre-et-Marie-Curie - Paris VI · 1978
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Le Huy Nguyen | Université Paris-Sud XI - Orsay | 2007 | 0 |
| Maria Gradinariu Potop-Butucaru | Université Paris-Saclay | 2000 | 2 |