Skip to main content
. 2015 Mar 19;10(3):e0117519. doi: 10.1371/journal.pone.0117519

Fig 6. Partial discrete Petri Net model of the BRN.

Fig 6

This part represents the complete Place and Transition sets of the entity PC (P = {PC, cPB}, T = {Kpc_, Kpc_cb, Kpc_sirt1, Kpc_cbsirt1}), where the place PC models the presence of PC in the system, and cPC models its absence. PC has four parameters, K PC{CB}, K PC{CB, SIRT1} ∈ °p, and K PC{}, K PC{SIRT1} ∈ p° for p = PC. Highly abstracted sets of the influencers of PC (CB and SIRT1) are also represented simply as the respective presence and absence places, along with generic source and sink transitions. As CB is the activator of PC, the transitions where it is in the resource set of PC link to the place CB, and the transitions where it is absent from the resource set link to the place cCB. On the other hand, this pattern is inverted in the case of SIRT1 as it is an inhibitor of PC, and thus the transitions where it is in the resource set of PC link to the place cSIRT1, while the transitions where it is absent from the resource set link to the place SIRT1 instead.