Signature of timed patterns in time Petri nets: a formal characterization

Camille Coquand (1) , Audine Subias (1) , Yannick Pencolé (1)

1 LAAS-DISCO - Équipe DIagnostic, Supervision et COnduite

This paper investigates the problem of characterizing the signature of a time pattern in safe acyclic time Petri nets. While such signature contains an infinite number of elements because time is continuous, we propose a method to represent these elements as finite sets of constraints on the observable dates of firing of the observable transitions of the net.

Mots clés: Signature; Time Petri net; Pattern; State Class Graph; Time constraints

Domaines: Automatique; Logique en informatique [cs.LO]; Systèmes et contrôle [cs.SY]

Camille Coquand, Audine Subias, Yannick Pencolé. Signature of timed patterns in time Petri nets: a formal characterization. Modélisation des Systèmes Réactifs (MSR'21), Nov 2021, Paris, France. ⟨hal-03405509⟩