 |
 |
|
|
| HAL : hal-00084186, version 1 |
| Fiche détaillée |  Récupérer au format |
 |
| 24th international conference on Application and Theory of Petri Nets, Pays-Bas (2003) |
|
|
|
|
| The Petri Net Markup Language: Concepts, Technology and Tools |
|
|
| Laure Petrucci 1Jonathan Billington 2 |
|
|
| (2003) |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire Spécification et Vérification [Cachan] (LSV) |
|
|
|
CNRS : UMR8643 – INRIA – École normale supérieure de Cachan - ENS Cachan |
|
|
| 2 : | Computer Systems Engineering Centre (CSEC) |
|
|
|
University of South Australia |
|
|
| 3 : | DAIMI (DAIMI) |
|
|
|
DAIMI |
|
|
| 4 : | Department of Math. and Computer Science, TUE |
|
|
|
Technische Universiteit Eindhoven |
|
|
| 5 : | Department of Computer Science, Paderborn |
|
|
|
University of Paderborn |
|
|
| 6 : | Coremedia AG |
|
|
|
Coremedia AG |
|
|
| 7 : | Department of Computing Science, Oldenburg |
|
|
|
Carl von Ossietzky University Oldenburg |
|
|
| 8 : | Computer Science Department, HU Berlin |
|
|
|
Humboldt Universität zu Berlin |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Autre |
|
|
| Petri nets – standardisation |
|
| hal-00084186, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00084186 | |
| oai:hal.archives-ouvertes.fr:hal-00084186 | |
| Contributeur : Laure Petrucci | |
| Soumis le : Jeudi 6 Juillet 2006, 00:45:32 | |
| Dernière modification le : Jeudi 6 Juillet 2006, 00:55:16 | |
