Petri net modeling of biological networks
Challenges in Biological networks
Contents
Introduction
Petri Net Basics
Contents
biological networks using PN
Conclusion

biological networks using PN

Genetic networks
Complementing the qualitative analysis tools, model checking can be used to check dynamical properties. CPNs are amenable to model checking.
HPNs provide a way to represent protein concentration dynamics being coupled with discrete switches. A detailed modelling of gene regulatory networks would require the representation of several stages including DNA modification, transcription, translation, post-transcriptional and translational modifications. Since the data on these mechanisms are lacking, it is difficult to conceive kinetic models of these mechanisms, which are therefore abstracted as a single process.