Optimal-Cost Reachability Analysis Based on Time Petri Nets - Archive ouverte HAL Accéder directement au contenu
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

  • HAL Id : hal-01957173 , version 1

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. ⟨hal-01957173⟩
59 Consultations
109 Téléchargements

Partager

Gmail Facebook X LinkedIn More