Optimal-Cost Reachability Analysis Based on Time Petri Nets - Archive ouverte HAL
Communication Dans Un Congrès Année : 2018

Optimal-Cost Reachability Analysis Based on Time Petri Nets

Résumé

This paper investigates the optimal-cost reachability problem in the context of time Petri nets, where a rate cost is associated with each place. This problem consists in deciding whether or not there exists a sequence of transitions reaching, with minimal cost, a given goal marking. This paper shows that for some subclasses of cost time Petri nets, the optimal-cost reachability problem can be solved more efficiently using a method based on the state classes, without resorting to linear programming or splitting state classes.
Fichier principal
Vignette du fichier
boucheneb-ACSD-18.pdf (204.42 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01957173 , version 1 (17-12-2018)

Identifiants

Citer

Hanifa Boucheneb, Didier Lime, Olivier Henri Roux, Charlotte Seidner. Optimal-Cost Reachability Analysis Based on Time Petri Nets. 18th International Conference on Application of Concurrency to System Design (ACSD 2018), Jun 2018, Bratislava, Slovakia. ⟨10.1109/acsd.2018.000-1⟩. ⟨hal-01957173⟩
67 Consultations
127 Téléchargements

Altmetric

Partager

More