Petri net modeling via a modular and hierarchical approach applied to nociception

CEUR Workshop Proceedings

Volumn 827, Issue , 2010, Pages 135-146

  Blätke, Mary Ann ^a   Meyer, Sonja ^a   Stein, Christoph ^b   Marwan, Wolfgang ^a  

^a OTTO VON GUERICKE UNIVERSITY   (Germany)

^b CHARITÉ UNIVERSITÄTSMEDIZIN BERLIN   (Germany)

Author keywords

G protein coupled receptor; Large biological systems; Module; Nociception; Pain; Petri net; Qualititative approach

Indexed keywords

G PROTEIN COUPLED RECEPTORS; MODULE; NOCICEPTION; PAIN; QUALITITATIVE APPROACH;

BIOLOGICAL SYSTEMS; COMPLEX NETWORKS; SIGNAL TRANSDUCTION;

PETRI NETS;

EID: 84890505500     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. Reisig, W.: Petri Nets; An Introduction. Springer (1982)
2. Murata, T.: Petri Nets: Properties, Analysis and Applications. Proc.of the IEEE. 4, 541-580 (1989)
3. Strader, C. et al.: Structure and Function of G-Protein-coupled Receptors. Annual Review of Biochemistry 63, 101-132 (1994)
4. Lambright, D. et al.: The 2.0 Crystal Structure of a Heterotrimeric G-Protein. Nature 379, 311-319 (1996)
5. Ross, E. and Wilkie T.: GTPase-activating G-Proteins for Heterotrimeric GProteins: Regulators of G-Protein Signaling (RGS) and RGS-like Proteins. Annual Review of Biochemistry 69, 795-827 (2000)
6. McMahon, S. and Koltzenburg, M.: Textbook of Pain. Churchill Livingstong (2005)
7. Hucho, T. and Levine, J.: Signaling Pathways in Sensitization: Toward a Nociceptor Cell Biology. Neuron 55, 365-376 (2007)
8. Blätke, MA.: Petri-Netz-Module eines Integrativen Nozizeptiven Neurons. Otto von Guericke University Magdeburg (2009)
9. Heiner, M., Gilbert, D., and Donaldson, R.: Petri Nets in Systems and Synthetic Biology. In Schools on Formal Methods (SFM), LNCS 5016 Springer., 215-264 (2009)
10. Stein, C. and Lang, L.J.: Peripheral Mechanisms of Opioid Analgesia. Current Opinion in Pharmacology 9, 3-8(2009).
11. Franzke, A.: Charlie 2.0 - A Multithreaded Petri Net Analyzer. Brandenburg University of Technology Cottbus (2009)
12. Liu, F. and Heiner, M.: Using Colored Petri Nets to Model and Simulate Biological Systems. Same Issue (2010)
13. Rohr, C., Marwan, W. and Heiner, M.: Snoopy - A Unifying Petri Net Framework to Investigate Biomolecular Networks (2010)