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

Automated verification of living organism models allows us to gain previously unknown knowledge about underlying biological processes. In this paper, we show the benefits to use parametric time Petri nets in order to analyze precisely the dynamic behavior of biological oscillatory systems. In partic...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2015-06
Hauptverfasser:	Andreychenko, Alexander, Morgan Magnin, Inoue, Katsumi
Format:	Artikel
Sprache:	eng
Schlagworte:	Adaptive systems Biological activity Biological properties Circadian rhythm Petri nets Resilience
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!