Researcher
Stefan Haar
Persistent identifiers
References for this unit in public registries: they allow cross-checking with other sources and do not change when the name does.
Affiliation
MaIAGE — Mathématiques et informatique appliquées du génome à l'environnementLMF — Laboratoire Méthodes FormellesINRIA — Centre Inria de Saclay
Fields of expertise
Petri Nets
PETRI NET
Concurrency
Partial Order
unfolding
attractors
reprogramming
conformance
14 publications in HAL since 2022.
Data provenance
Sources : scanR, HAL. Data compiled on 27/10/2026. Found an error? It is corrected in the original source (HAL, RNSR, directory); see how.