Chercheur ou chercheuse
Stefan Haar
Identifiants pérennes
Références de cette unité dans les référentiels publics : elles servent à la recouper avec d’autres sources, et ne changent pas quand le nom change.
Rattachement
MaIAGE — Mathématiques et informatique appliquées du génome à l'environnementLMF — Laboratoire Méthodes FormellesINRIA — Centre Inria de Saclay
Domaines d’expertise
Petri Nets
PETRI NET
Concurrency
Partial Order
unfolding
attractors
reprogramming
conformance
14 publications dans HAL depuis 2022.
Provenance des données
Sources : scanR, HAL. Données consolidées le 27/10/2026. Une erreur ? Elle se corrige dans la source d’origine (HAL, RNSR, annuaire) ; voir comment.