Affiliations: Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes, Université Blaise Pascal (Clermont-Ferrand II), BP 10125, 63173 Aubière Cedex, France. [email protected], [email protected]
Note: [] This work was founded by the French National Research Agency, the European Commission (Feder funds) and the Région Auvergne within the LabEx IMobS3. Address for correspondence: Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes, Université Blaise Pascal (Clermont-Ferrand II), BP 10125, 63173 Aubière Cedex, France
Abstract: The context of this work is the reconstruction of Petri net models for biological systems from experimental data. Such methods aim at generating all network alternatives fitting the given data. For a successful reconstruction, the data need to satisfy two properties: reproducibility and monotonicity. In this paper, we focus on a necessary preprocessing step for a recent reconstruction approach. We test the data for reproducibility, provide a feasibility test to detect cases where the reconstruction from the given data may fail, and provide a strategy to cope with the infeasible cases. After having performed the preprocessing step, it is guaranteed that the (given or modified) data are appropriate as input for the main reconstruction algorithm.
