Parameterized complexity and approximability of coverability problems in weighted Petri nets - Archive ouverte HAL
Communication Dans Un Congrès Année : 2017

Parameterized complexity and approximability of coverability problems in weighted Petri nets

Résumé

Many databases have been filled with the chemical reactions found in scientific publications and the information associated with (efficiency , chemical products involved.. .). They can be used to define functions representing costs such as the ecoligical impact of the reactions. A major challenge is to use computer driven optimization in order to improve synthesis process. The objective is to provide algorithms to help determining a pathway (series of reactions) for the synthesis of a molecule. Usually, a chemist proposes a pathway adapted from an existing one. Our goal is to determine optimum pathways from the reactions recorded in the database. As, the classical Petri nets do not allows us to consider the optimization component, a weighted model has to be defined and the complexity of the associated problems studied. In this paper we introduce the weighted Petri nets in which each transition is associated with a weight. We define the Minimum Weight Synthesis Problem: find a minimum weight series of transitions to fire to produce a given target component. It mainly differ from classical coverability as it is an optimization problem. We prove that this problem is decidable but EXPSPACE-hard and that there is no polynomial approximation even when both in and outdegree are fixed to two and the target state is a single component. We also consider a more constraint version of the problem limiting the number of fired transitions. We prove this problem falls into PSPACE and the parametrized versions into XP but it remains not approximable.
Fichier principal
Vignette du fichier
pn2017.pdf (352.53 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01459206 , version 1 (07-02-2017)

Identifiants

Citer

Dimitri Watel, Marc-Antoine Weisser, Dominique Barth. Parameterized complexity and approximability of coverability problems in weighted Petri nets. International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2017, Zaragoza, Spain. pp.330-349, ⟨10.1007/978-3-319-57861-3_19⟩. ⟨hal-01459206⟩
558 Consultations
179 Téléchargements

Altmetric

Partager

More