110 likes | 127 Views
Computational Biomodelling Lab. Department of Information Technologies, Åbo Akademi University, 20520 Turku, Finland. Heat shock response & Petri-net. The molecular model (Ion Petre et. al). Transcription HSF+HSF<-> HSF 2 HSF+HSF 2 <->HSF 3 HSF 3 +HSE<->HSF 3 :HSE
E N D
Computational Biomodelling Lab. Department of Information Technologies,Åbo Akademi University, 20520 Turku, Finland Heat shock response & Petri-net
The molecular model (Ion Petre et. al) • Transcription • HSF+HSF<->HSF2 • HSF+HSF2<->HSF3 • HSF3+HSE<->HSF3:HSE • HSF3:HSE->HSF3:HSE+HSP • Backregulation • HSP+HSF<->HSP:HSF • HSP+HSF2->HSP:HSF+HSF • HSP+HSF3->HSP:HSF+2HSF • HSP+HSF3:HSE->HSP:HSF+2HSF+HSE • Response to stress • PROT->MFP • HSP+MFP<->HSP:MFP • HSP:MFP->HSP+PROT • Protein degradation • HSP0
o o o HSF HSF2 # of metabolites o o o o o o HSF:HSF2 Petri-net <=> Gene-net place transition Reactions tokens HSF+HSF2->HSF3
k Types of reactions into Petri-net • 2HSF -> HSF2 • HSF3+HSE ->HSF3:HSE • HSP+HSF2->HSP:HSF+HSF • HSF3:HSE->HSF3:HSE+HSP • PROT->MFP (rewriting) • HSP0 (degradation) • HSF+HSF2<-> HSF3 (reverse) 2
o o o o o o o o o transition transition Reaction HSF:HSF2 HSF+HSF2->HSF3 ->HSF+HSF2
A Petri-net for the HSR model 37C 42C
Place invariant, Transition invariant P-invariant: x is a non-zero vector of size n (n=10) T-invariant: y is size of m (m=17)
P-invariant *A P-invariant characterizes a token conservation rule for a set of places *An inv. x is minimal, if any inv. z: supp(z) is not subset of supp(x) - inv. 3 is minimal Deadlock…
trivial T-invariant HS A T-invariant represents a multiset of transitions, which have altogether a zero effect on the marking