Expression et validation de contraintes temporelles pour la spécification des systèmes réactifs. - David Delfieu (1995)

Discrete time approach of time Petri nets for real-time systems analysis. - Olivier H. Roux; David Delfieu; Pierre Molinaro (ETFA (2), 2001)

Dépliage des réseaux de Petri temporels à modèle sous-jacent non sauf. - Médésu Sogbohossou; David Delfieu (ARIMA J., 2011)

Embedding time Petri nets. - Maurice Comlan; David Delfieu; Médésu Sogbohossou; Antoine Vianou (CoDIT, 2017)

Pomsets and Unfolding of Reset Petri Nets. - Thomas Chatain; Maurice Comlan; David Delfieu; Loïg Jezequel; Olivier H. Roux (LATA, 2018)

Pomset bisimulation and unfolding for reset Petri nets. - Thomas Chatain; Maurice Comlan; David Delfieu; Loïg Jezequel; Olivier Henri Roux (Inf. Comput., 2022)