Pomset bisimulation and unfolding for reset Petri nets.
Inf. Comput., 2022
Pomsets and Unfolding of Reset Petri Nets.
Proceedings of the Language and Automata Theory and Applications, 2018
Embedding time Petri nets.
Proceedings of the 4th International Conference on Control, 2017
Dépliage des réseaux de Petri temporels à modèle sous-jacent non sauf.
ARIMA J., 2011
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
Expression et validation de contraintes temporelles pour la spécification des systèmes réactifs.
PhD thesis, 1995