LuisM SPi

From OpenWetWare

(Difference between revisions)
Jump to: navigation, search
Line 25: Line 25:
 +
 +
'''g(a,b)'''=  ?a.g'(a,b) + Ʈt'.(P(b)|g(a,b))
 +
 +
g'(a.b)=  Ʈu . g(a,b)
 +
 +
P(b)=  !b . P(b) + Ʈd
 +
 +
'''g(b,c)'''=  ?e . g'(b,c) + Ʈt . (P(c)|GFP()|g(b,c))
 +
 +
g'(b,c)= Ʈu . g(b,c) + ?b . g''(b,c)
 +
 +
g''(b,c)= Ʈt' . (P(c)|GFP()|g'(b,c))
 +
 +
P(c)=  !c . P(c) + Ʈd
 +
 +
GFP()= Ʈd
 +
 +
'''g(c,a)'''= ?f . g'(c,a) + Ʈt . (P(a)|RFP()|g(c,a))
 +
 +
g'(c,a)=  Ʈu . (P(a)) + ?c . g''(c,a)
 +
 +
g''(c,a)= Ʈt' . (P(a)|RFP()|g'(c,a))
 +
 +
P(a)= !a . P(a) + Ʈd
 +
 +
RFP()= Ʈd
 +
 +
'''X(e,f)'''= Ʈx . (P(e)|P(f)|X())
 +
 +
P(e)= !e . P(e) + Ʈd
 +
 +
P(f)= !f . P(f) + Ʈd
Once i had the model, i simulated it in the Stochastic Pi Machine, (Andrew Phillips) and I will present the result soon.
Once i had the model, i simulated it in the Stochastic Pi Machine, (Andrew Phillips) and I will present the result soon.

Revision as of 01:26, 31 January 2008

Graphical Stochastic π Calculus model for iGEM Mexico 2007 Oscillator

The motivation for use Stochastic π Calculus for modeling our constructions is based in the advantages that present this formal lenguage against the ordinary differential equations (ODE's). There are many papers that describe this advantages, escentially I used it because is a different approach to model biological systems, a very interesting approach!.

I have learned SPi alone without any supervision, and my models has not to be necessary corrects. I hope that you can undestand my situation.


This is the representation with logic gates

Logic Gates



Now the model in Graphical Stochastic π Calculus Representation



Graphical SPi Representation



g(a,b)=  ?a.g'(a,b) + Ʈt'.(P(b)|g(a,b))

g'(a.b)= Ʈu . g(a,b)

P(b)=  !b . P(b) + Ʈd

g(b,c)=  ?e . g'(b,c) + Ʈt . (P(c)|GFP()|g(b,c))

g'(b,c)= Ʈu . g(b,c) + ?b . g(b,c)

g(b,c)= Ʈt' . (P(c)|GFP()|g'(b,c))

P(c)=  !c . P(c) + Ʈd

GFP()= Ʈd

g(c,a)= ?f . g'(c,a) + Ʈt . (P(a)|RFP()|g(c,a))

g'(c,a)= Ʈu . (P(a)) + ?c . g(c,a)

g(c,a)= Ʈt' . (P(a)|RFP()|g'(c,a))

P(a)= !a . P(a) + Ʈd

RFP()= Ʈd

X(e,f)= Ʈx . (P(e)|P(f)|X())

P(e)= !e . P(e) + Ʈd

P(f)= !f . P(f) + Ʈd


Once i had the model, i simulated it in the Stochastic Pi Machine, (Andrew Phillips) and I will present the result soon.

Personal tools