Research article
Time-dependent structural transformation analysis to high-level Petri net model with active state transition diagram
-
* Corresponding author: Masao Nagasaki masao@ims.u-tokyo.ac.jp
- † Equal contributors
Human Genome Center, Institute of Medical Science, University of Tokyo, 4-6-1 Shirokanedai, Minato-ku, Tokyo 108-8639, Japan
BMC Systems Biology 2010, 4:39 doi:10.1186/1752-0509-4-39
Published: 1 April 2010Additional files
Additional file 1:
Definition of hybrid functional Petri net with extension (HFPNe). The data provide full mathematical definitions of HFPNe.
Format: PDF Size: 43KB Download file
This file can be viewed with: Adobe Acrobat Reader
Additional file 2:
Detailed net structure of the nodes in the resulting ASTD. The detailed net structure of nodes (i.e., z10,⋯, z25) in the resulting ASTD shown in Figure 5. The connection relationships are shown between the bold-line blocks of the nodes. Legend is given in Figure 5.
Format: EPS Size: 1.6MB Download file
Additional file 3:
Detailed net structure of all the nodes in the resulting ASTD. Detailed net structure of all 25 nodes (note that one node is displayed in one page). Readers can turn page forward and back to see the structural difference between two nodes in an easy-to-understand manner.
Format: PDF Size: 469KB Download file
This file can be viewed with: Adobe Acrobat Reader
Additional file 4:
Concentration behaviors of per mRNA: (a) normal model; and (b) dbtL mutant. Formula such as m7 * m12/1000 for the firing speed of transition t23 is given at charts (a) and (b), which represents complex forming rate of two proteins PER and DBT. The firing speed in dbtL is slower than the one in the normal model.
Format: PDF Size: 105KB Download file
This file can be viewed with: Adobe Acrobat Reader