Show Menu
Hide Menu
Home
About
Organisation charts
Organisation
Direction
Administration
IT Service
Scientific Board
Governing Board
PhD Board
Teaching
Location & Contact
Research
Axes & Teams
Publications
Projects
ERC Projects
European Projects
Priority Research Programmes and Equipments
Common Laboratories
ANR Projects
Activity reports
Valorisation
Our skills
Works with us
Software
Patents
Start-ups
Jobs
Staff directory
Colloquium
🔒
📫
🇬🇧
🇫🇷
🇬🇧
-
Computer Science Laboratory
Research
Publications
Research reports
Current teams :
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]