Communication Dans Un Congrès Année : 2021

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

Résumé

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.

Fichier principal
Vignette du fichier
msr21_v2.pdf (308.51 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-03405509 , version 1 (27-10-2021)

Licence

Identifiants

  • HAL Id : hal-03405509 , version 1

Citer

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⟩
208 Consultations
191 Téléchargements

Partager

  • More