English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Zendy Plus

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Zendy Tools

Zendy Open

Automated verification of living organism models allows us to gain previouslyunknown knowledge about underlying biological processes. In this paper, we showthe benefits to use parametric time Petri nets in order to analyze preciselythe dynamic behavior of biological oscillatory systems. In particular, we focuson the resilience properties of such systems. This notion is crucial tounderstand the behavior of biological systems (e.g. the mammalian circadianrhythm) that are reactive and adaptive enough to endorse major changes in theirenvironment (e.g. jet-lags, day-night alternating work-time). We formalizethese properties through parametric TCTL and demonstrate how changes of theenvironmental conditions can be tackled to guarantee the resilience of livingorganisms. In particular, we are able to discuss the influence of variousperturbations, e.g. artificial jet-lag or components knock-out, with regard toquantitative delays. This analysis is crucial when it comes to modelelicitation for dynamic biological systems. We demonstrate the applicability ofthis technique using a simplified model of circadian clock.

Modeling of Resilience Properties in Oscillatory Biological Systems using Parametric Time Petri Nets, Supplementary Information