Petri net based model validation in systems biology (2004)
Cached
Download Links
- [www.informatik.tu-cottbus.de]
- [www.cs.uga.edu]
- DBLP
Other Repositories/Bibliography
| Venue: | In 25th International Conference on Application and Theory of Petri Nets |
| Citations: | 16 - 8 self |
BibTeX
@INPROCEEDINGS{Heiner04petrinet,
author = {Monika Heiner and Ina Koch},
title = {Petri net based model validation in systems biology},
booktitle = {In 25th International Conference on Application and Theory of Petri Nets},
year = {2004},
pages = {216--237},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. This paper describes the thriving application of Petri net theory for model validation of different types of molecular biological systems. After a short introduction into systems biology we demonstrate how to develop and validate qualitative models of biological pathways in a systematic manner using the well-established Petri net analysis technique of place and transition invariants. We discuss special properties, which are characteristic ones for biological pathways, and give three representative case studies, which we model and analyse in more detail. The examples used in this paper cover signal transduction pathways as well as metabolic pathways. 1
