Qualitative modelling and formal verification of the FLR1 gene mancozeb response in Saccharomyces cerevisiae

Qualitative modelling and formal verification of the FLR1 gene mancozeb response in Saccharomyces cerevisiae

For access to this article, please select a purchase option:

Buy article PDF
(plus tax if applicable)
Buy Knowledge Pack
10 articles for $120.00
(plus taxes if applicable)

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Your details
Why are you recommending this title?
Select reason:
IET Systems Biology — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

Background: Qualitative models allow understanding the relation between the structure and the dynamics of gene regulatory networks. The dynamical properties of these models can be automatically analysed by means of formal verification methods, like model checking. This facilitates the model-validation process and the test of new hypotheses to reconcile model predictions with the experimental data. Results: The authors report in this study the qualitative modelling and simulation of the transcriptional regulatory network controlling the response of the model eukaryote Saccharomyces cerevisiae to the agricultural fungicide mancozeb. The model allowed the analysis of the regulation level and activity of the components of the gene mancozeb-induced network controlling the transcriptional activation of the FLR1 gene, which is proposed to confer multidrug resistance through its putative role as a drug eflux pump. Formal verification analysis of the network allowed us to confront model predictions with the experimental data and to assess the model robustness to parameter ordering and gene deletion. Conclusions: This analysis enabled us to better understand the mechanisms regulating the FLR1 gene mancozeb response and confirmed the need of a new transcription factor for the full transcriptional activation of YAP1. The result is a computable model of the FLR1 gene response to mancozeb, permitting a quick and cost-effective test of hypotheses prior to experimental validation.


    1. 1)
      • D. Gilbert , M. Heiner , S. Lehrack . A unifying framework for modelling and analysing biochemical pathways using Petri nets, (.
    2. 2)
    3. 3)
    4. 4)
    5. 5)
    6. 6)
      • M. Calder , V. Vyshemirsky , D. Gilbert , R. Orton . (2005) Analysis of signalling pathways using the PRISM model checker, Proc. Third Conf. Computational Methods in Systems Biology (CMSB 2005).
    7. 7)
    8. 8)
    9. 9)
    10. 10)
    11. 11)
    12. 12)
    13. 13)
    14. 14)
      • C. Chaouiya , E. Remy , D. Thieffry , S. Istrail , P. Pevzner , M. Waterman . (2006) Qualitative Petri net modelling of genetic networks, Transactions on computational systems biology VI (.
    15. 15)
    16. 16)
    17. 17)
    18. 18)
      • T. Cabrito , M. Teixeira , I. Sá-Correia , P.D. Costa , P. Bezerra . (2009) Global adaptive response and resistance to agricultural fungicides: lessons from yeast and phytopathogenic fungi, Fungicides: chemistry, environmental impact and health effects.
    19. 19)
    20. 20)
    21. 21)
    22. 22)
    23. 23)
      • E.M. Clarke , O. Grumberg . (1999) Model checking.
    24. 24)
    25. 25)
    26. 26)
    27. 27)
    28. 28)
    29. 29)
    30. 30)
    31. 31)
    32. 32)
    33. 33)
      • Drulhe, S.: `Identification of genetic regulatory networks from gene expression data: an approach based on piecewise-affine models', 2008, PhD, Université Joseph Fourier – Grenoble I.
    34. 34)
    35. 35)

Related content

This is a required field
Please enter a valid email address