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.
Origine | Fichiers produits par l'(les) auteur(s) |
---|