Time Petri Nets with Dynamic Firing Dates: Semantics and Applications - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Lecture Notes in Computer Science Année : 2014

Time Petri Nets with Dynamic Firing Dates: Semantics and Applications

Résumé

We define an extension of time Petri nets such that the time at which a transition can fire, also called its firing date, may be dynamically updated. Our extension provides two mechanisms for updating the timing constraints of a net. First, we propose to change the static time interval of a transition each time it is newly enabled; in this case the new time interval is given as a function of the current marking. Next, we allow to update the firing date of a transition when it is persistent, that is when a concurrent transition fires. We show how to carry the widely used state class abstraction to this new kind of time Petri nets and define a class of nets for which the abstraction is exact. We show the usefulness of our approach with two applications: first for scheduling preemptive task, as a poor man's substitute for stopwatch, then to model hybrid systems with non trivial continuous behavior.
Fichier principal
Vignette du fichier
dyntpn.pdf (362.65 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00984354 , version 1 (28-04-2014)

Identifiants

Citer

Silvano Dal Zilio, Lukasz Fronc, Bernard Berthomieu, François Vernadat. Time Petri Nets with Dynamic Firing Dates: Semantics and Applications. 12th International Conference, FORMATS 2014, Sep 2014, Florence, Italy. pp 85-99, ⟨10.1007/978-3-319-10512-3_7⟩. ⟨hal-00984354⟩
150 Consultations
456 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More