| Laboratoire Spécification et Vérification [Cachan] < Laboratoire d'Informatique de Paris 6 < Lund University Hospital | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 5.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000002 (2009-10) | Lom Messan Hillah [France] ; Ekkart Kindler ; Fabrice Kordon [France] ; Laure Petrucci ; Nicolas Trèves | A primer on the Petri Net Markup Language and ISO/IEC 15909-2 |
| 000003 (2009-10-19) | Nicolas Treves [France] ; Lom Messan Hillah [France] ; Fabrice Kordon [France] ; Laure Petrucci [France] | A primer on the Petri Net Markup Language and ISO/IEC 15909-2 |
| 000013 (2009-06-10) | Serge Haddad [France] ; Fabrice Kordon [France] ; Laure Petrucci ; Jean-François Pradat-Peyre [France] ; Nicolas Trèves | Efficient State-Based Analysis by Introducing Bags in Petri Nets Color Domains |
| 000023 (2010-06-21) | Lom Hillah [France] ; Fabrice Kordon [France] ; Laure Petrucci [France] ; Nicolas Treves [France] | PNML Framework: an extendable reference implementation of the Petri Net Markup Language |
| 000051 (2006-09-26) | Lom Hillah [France] ; Fabrice Kordon [France] ; Laure Petrucci [France] ; Nicolas Trèves [France] | PN standardisation: a survey |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Rhénanie/explor/UnivTrevesV1/Data/Hal/Curation
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/HalTutelle.i -k "Laboratoire d'Informatique de Paris 6"
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/HalTutelle.i \
-Sk "Laboratoire d'Informatique de Paris 6" \
| HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Curation/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Rhénanie
|area= UnivTrevesV1
|flux= Hal
|étape= Curation
|type= indexItem
|index= HalTutelle.i
|clé= Laboratoire d'Informatique de Paris 6
}}
| This area was generated with Dilib version V0.6.31. |  |