Simulation of error-prone biological systems
WISICT '04 Proceedings of the winter international synposium on Information and communication technologies
Proceedings of the 38th conference on Winter simulation
GemCell: A generic platform for modeling multi-cellular biological systems
Theoretical Computer Science
Toward Verified Biological Models
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
Communications of the ACM
Hashimoto's thyroiditis with petri nets
ICCSA'10 Proceedings of the 2010 international conference on Computational Science and Its Applications - Volume Part IV
Hi-index | 0.03 |
A new application area of Petri nets is introduced in this paper. In particular it shows how, by means of Petri nets, the protein production process can be modeled and analyzed. In order to develop a Petri net model of the protein production process, firstly the paper describes the protein production process from DNA. Although the aim of this paper is to develop a Petri net model of protein production rather then the molecular events and chemical reactions that occur during this process, some basic information about the molecular events, and precursors/molecules that are required for each step of the protein production process are described in both part one and part two of this paper, prior to the Petri net model construction. After constructing a Petri net model of the protein production processes, based on information contained in it, there are some program modules developed. These program modules are written in a pseudo functional language, which can be easily translated into any high level programming or simulation languages for final implementation.