Deciphering the Role of Circadian Clock in Inflammatory Response and Immune Disorders Using Model Checking and Petri Nets
Rahman H.U. Ahmad J. Akhmediyarova A. Oralbekova D. Mamyrbayev O.
2024Institute of Electrical and Electronics Engineers Inc.
IEEE Access
2024#12196576 - 196590 pp.
Circadian rhythms play a significant role to optimize immunity and combat infections. Any disturbance of the circadian clock, which is caused by environmental cues or zeitgebers, influences immune systems performance. This interplay has encouraged research on possible novel treatment approaches for auto-immune diseases. The study aims to construct a Petri net model to analyze the implications of jet lag on the circadian rhythm and its potential involvement in the immune response and the associated diseases. First, the regulatory mechanism of the circadian-immune network is qualitatively modeled using GINsim tool. This model deciphers the roles of critical biological entities of the network and their interactions in the immune response. Then, the GINsim model is converted to a Petri net model, which facilitates the modeling of temporal dynamics of immune responses under circadian control. The simulation results indicate that the disruption of the circadian clock dampens the immune response by approximately 50%, emphasizing the necessity of circadian integrity. The results also predicted that RORs and REVERBA can be used to modulate immune responses. The simulation results show that the reverse effect of RORs on circadian oscillation is less than the REVERBA in modulating immune responses.
BMAL1 , Circadian clock , CLOCK , IL17A , immune disorders , inflammatory response , model checking , petri nets , regulatory network , REVERBA , RORs
Text of the article Перейти на текст статьи
University of Malakand, Department of Computer Science and Information Technology, Khyber Pakhtunkhwa, 18800, Pakistan
Satbayev University, Department of Software Engineering, Almaty, 050000, Kazakhstan
Institute of Information and Computational Technologies, Almaty, 050060, Kazakhstan
University of Malakand
Satbayev University
Institute of Information and Computational Technologies
10 лет помогаем публиковать статьи Международный издатель
Книга Публикация научной статьи Волощук 2026 Book Publication of a scientific article 2026