Researcher
Serge Haddad
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
Fields of expertise
Petri nets
model checking
reachability
Timed Automata
Recursive
decidable
réseaux de Petri
Petri net
10 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.