Diagnosticabilité et diagnosticabilisation de motifs temporels dans les réseaux de Petri temporels. (Diagnosability and diagnosabilisation of time patterns in time Petri nets)

Camille Coquand. Diagnosticabilité et diagnosticabilisation de motifs temporels dans les réseaux de Petri temporels. (Diagnosability and diagnosabilisation of time patterns in time Petri nets). PhD thesis, INSA Toulouse, France, 2023. [doi]

Abstract

Abstract is missing.