Cell Cycle Modeling, Petri Nets
Petri Nets are a graphical modeling formalism with numerous applications to the modeling and analysis of systems composed by multiple concurrent processes, including the molecular kinetics of cell cycle regulation networks. They are named after Carl Adam Petri, who originally defined them in his dissertation thesis in 1962 (Petri 1962).
Places, depicted as hollow circles, represent variables of the model.
Tokens, depicted as black dots, are contained into places and provide the numerical value associated to the variable.
Transitions, depicted as bars, represent events affecting the variables. The occurrence of the event associated to a transition is referred as the firing of the transition.
Arcs, linking transitions to places and places to transitions (but not places to places nor transitions to transitions), carry multiplicities defining the changes on variables as a result of transitions...
- Fujita S, Matsui M, Matsuno H, Miyano S (2004) Modeling and simulation of fission yeast cell cycle on Hybrid Functional Petri Net. IEICE Trans Fundam 87:2919–2928Google Scholar
- Gillespie DT (1977) Exact stochastic simulation of coupled chemical reactions. J Phys Chem 81:2340–2361Google Scholar
- Koch I, Reisig W, Schreiber F (eds) (2010) Modeling in systems biology, vol 16, Computational biology. Springer, London. doi:10.1007/978-1-84996-474-6_7Google Scholar
- Marsan MA (1990) Stochastic Petri nets: an elementary introduction. In: Advances in Petri nets 1989. Springer-Verlag, New York, pp 1–29Google Scholar
- Matsui M, Fujita S, Suzuki S, Matsuno H, Miyano S (2004) Simulated cell division processes of the Xenopus cell cycle pathway by Genomic Object Net. J Integr Bioinform 1:3. doi:10.2390/biecoll-jib-2004-3Google Scholar
- Murata T (1989) Petri Nets: properties, analysis and applications. IEEE Proc 77:541–580Google Scholar
- Petri CA (1962) Kommunikation mit automaten. Ph. D. Thesis, University of BonnGoogle Scholar
- Sackmann A, Heiner M, Koch I (2006) Application of Petri net based analysis techniques to signal transduction pathways. BMC Bioinform 7:482. doi:10.1186/1471-2105-7-482Google Scholar