Show Menu
Hide Menu
Le LIP6
À propos
Organigrammes
Organisation
Comité de Direction
Direction Administrative et Financière
Direction de l’Ingénierie Numérique
Conseil scientifique
Conseil de laboratoire
Conseil des doctorants
Enseignements
Localisation & Contact
Recherche
Axes & Équipes
Publications
Projets
Projets ERC
Projets Européens
Programmes et Équipements Prioritaires de Recherche
Laboratoires Communs
Projets ANR
Rapports d’activité
Valorisation
Nos compétences
Collaborer avec nous
Logiciels
Brevets
Start-ups
Emplois
Annuaire
Colloquium
🔒
📫
🇫🇷
🇫🇷
🇬🇧
-
Laboratoire d’informatique
Recherche
Publications
Research reports
Équipes actuelles :
ALMASTY
ALSOC
APR
BD
CIAN
ComplexNetworks
DECISION
DELYS
LFI
MOCAH
MoVe
NPA
PEQUAN
PolSys
QI
RO
SMA
SYEL
LIP6
C. Girault, J.‑F. Pradat‑Peyre
: “
Les Réseaux de Petri de Haut Niveau
”, chapitre de Les Réseaux de Petri, Modèles Fondamentaux, pp. 223-254, (Hermes), (ISBN: 2-7462-0250-6) [Girault 2001]