Advanced Biomedical Research
Colored petri net modeling of small interfering RNA-mediated messenger RNA degradation
Authors
1 Department of Electrical and Computer Engineering, Isfahan University of Technology, Isfahan, Iran
2 Isfahan Kidney Diseases Research Center, Isfahan University of Medical Sciences, Isfahan, Iran
Abstract
Background: Mathematical modeling of biological systems is an attractive way for studying complex biological systems and their behaviors. Petri Nets, due to their ability to model systems with various levels of qualitative information, have been wildly used in modeling biological systems in which enough qualitative data may not be at disposal. These nets have been used to answer questions regarding the dynamics of different cell behaviors including the translation process. In one stage of the translation process, the RNA sequence may be degraded. In the process of degradation of RNA sequence, small-noncoding RNA molecules known as small interfering RNA (siRNA) match the target RNA sequence. As a result of this matching, the target RNA sequence is destroyed.
Materials and Methods: In this context, the process of matching and destruction is modeled using Colored Petri Nets (CPNs). The model is constructed using CPNs which allow tokens to have a value or type on them. Thus, CPN is a suitable tool to model string structures in which each element of the string has a different type. Using CPNs, long RNA, and siRNA strings are modeled with a finite set of colors. The model is simulated via CPN Tools.
Results: A CPN model of the matching between RNA and siRNA strings is constructed in CPN Tools environment.
Conclusion: In previous studies, a network of stoichiometric equations was modeled. However, in this particular study, we modeled the mechanism behind the silencing process. Modeling this kind of mechanisms provides us with a tool to examine the effects of different factors such as mutation or drugs on the process.
Keywords
| 1. |
Chiu YL, Rana TM. siRNA function in RNAi: A chemical modification analysis. RNA 2003;9:1034-48.  |
| 2. |
Elbashir SM, Harborth J, Lendeckel W, Yalcin A, Weber K, Tuschl T. Duplexes of 21-nucleotide RNAs mediate RNA interference in cultured mammalian cells. Nature 2001;411:494-8. |
| 3. |
Hamilton AJ, Baulcombe DC. A species of small antisense RNA in posttranscriptional gene silencing in plants. Science 1999;286:950-2. |
| 4. |
Chaouiya C. Petri Net modelling of biological networks. Brief Bioinform 2007;8:210-9. |
| 5. |
Reddy VN, Mavrovouniotis ML, Liebman MN. Petri Net representations in metabolic pathways. Proc Int Conf Intell Syst Mol Biol 1993;1:328-36. |
| 6. |
Carvalho RV, Kleijn J, Meijer AH, Verbeek FJ. Modeling innate immune response to early Mycobacterium infection. Comput Math Methods Med 2012;2012:790482. |
| 7. |
Liu F, Blätke MA, Heiner M, Yang M. Modelling and simulating reaction-diffusion systems using coloured Petri Nets. Comput Biol Med 2014;53:297-308. |
| 8. |
Gilbert D, Heiner M, Liu F, Saunders N. Colouring space – A coloured framework for spatial modelling in systems biology. Appl Theory Petri Nets Concurr 2013;7927:230-49. |
| 9. |
Peleg M, Gabashvili IS, Altman RB. Qualitative knowledge models in functional genomics and proteomics. In: Akay M, editor. Genomics and Proteomics Engineering in Medicine and Biology. 1st ed. Canada: John Wiley and Sons; 2006. p. 1-21. |
| 10. |
Yang J, Gao R, Meng MQH, Tarn TJ. Colored Petri Nets to model gene mutation classification. Intelligent Control and Automation (WCICA); 2012. p. 5077-82. |
| 11. |
Christensen S, Mortensen KH. Teaching Coloured Petri Nets – A Gentle Introduction to Formal Methods in a Distributed Systems Course. Vol. 1248. Springer Berlin Heidelberg: Lecture Notes in Computer Science; 1997. p. 290-309. |
| 12. |
Jensen K. A brief introduction to coloured Petri Nets. Tools and algorithms for the construction and analysis of systems. Int J Softw Tools Technol Transfer 1997;8:203-8. |
| 13. |
Jensen K. An introduction to the practical use of coloured Petri Nets. Vol. 1492. Lectures on Petri Nets II: Applications; 1998. p. 237-92. |
| 14. |
Jensen K, Kristensen LM, Wells L. Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. Int J Softw Tools Technol Transfer 2007;9:213-54.
|
)