2022
Pomset bisimulation and unfolding for reset Petri nets.
Inf. Comput., 2022

2018
Pomsets and Unfolding of Reset Petri Nets.
Proceedings of the Language and Automata Theory and Applications, 2018

2017
Embedding time Petri nets.
Proceedings of the 4th International Conference on Control, 2017

2011
Dépliage des réseaux de Petri temporels à modèle sous-jacent non sauf.
ARIMA J., 2011

2001
Discrete time approach of time Petri nets for real-time systems analysis.
Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

1995
Expression et validation de contraintes temporelles pour la spécification des systèmes réactifs.
PhD thesis, 1995