{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,11]],"date-time":"2026-01-11T01:14:43Z","timestamp":1768094083247,"version":"3.49.0"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1","content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["BMC Syst Biol"],"published-print":{"date-parts":[[2010,12]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:sec>\n            <jats:title>Background<\/jats:title>\n            <jats:p>With an accumulation of <jats:italic>in silico<\/jats:italic> data obtained by simulating large-scale biological networks, a new interest of research is emerging for elucidating how living organism functions over time in cells.<\/jats:p>\n            <jats:p>Investigating the dynamic features of current computational models promises a deeper understanding of complex cellular processes. This leads us to develop a method that utilizes structural properties of the model over all simulation time steps. Further, user-friendly overviews of dynamic behaviors can be considered to provide a great help in understanding the variations of system mechanisms.<\/jats:p>\n          <\/jats:sec>\n          <jats:sec>\n            <jats:title>Results<\/jats:title>\n            <jats:p>We propose a novel method for constructing and analyzing a so-called <jats:italic>active state transition diagram<\/jats:italic> (ASTD) by using time-course simulation data of a high-level Petri net. Our method includes two new algorithms. The first algorithm extracts a series of subnets (called <jats:italic>temporal subnets<\/jats:italic>) reflecting biological components contributing to the dynamics, while retaining positive mathematical qualities. The second one creates an ASTD composed of unique temporal subnets. ASTD provides users with concise information allowing them to grasp and trace how a key regulatory subnet and\/or a network changes with time. The applicability of our method is demonstrated by the analysis of the underlying model for circadian rhythms in <jats:italic>Drosophila<\/jats:italic>.<\/jats:p>\n          <\/jats:sec>\n          <jats:sec>\n            <jats:title>Conclusions<\/jats:title>\n            <jats:p>Building ASTD is a useful means to convert a hybrid model dealing with discrete, continuous and more complicated events to finite time-dependent states. Based on ASTD, various analytical approaches can be applied to obtain new insights into not only systematic mechanisms but also dynamics.<\/jats:p>\n          <\/jats:sec>","DOI":"10.1186\/1752-0509-4-39","type":"journal-article","created":{"date-parts":[[2010,4,1]],"date-time":"2010-04-01T06:13:43Z","timestamp":1270102423000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Time-dependent structural transformation analysis to high-level Petri net model with active state transition diagram"],"prefix":"10.1186","volume":"4","author":[{"given":"Chen","family":"Li","sequence":"first","affiliation":[]},{"given":"Masao","family":"Nagasaki","sequence":"additional","affiliation":[]},{"given":"Ayumu","family":"Saito","sequence":"additional","affiliation":[]},{"given":"Satoru","family":"Miyano","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,4,1]]},"reference":[{"issue":"4","key":"428_CR1","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1093\/bib\/bbm029","volume":"8","author":"C Chaouiya","year":"2007","unstructured":"Chaouiya C: Petri net modelling of biological networks. Brief Bioinform. 2007, 8 (4): 210-219.","journal-title":"Brief Bioinform"},{"key":"428_CR2","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1002\/9780470253489.ch7","volume-title":"Analysis of Biological Networks","author":"I Koch","year":"2008","unstructured":"Koch I, Heiner M: Petri nets. Analysis of Biological Networks. Edited by: Junker BH, Schreiber F. 2008, 139-180. A Wiley Interscience Publication,"},{"issue":"3","key":"428_CR3","first-page":"347","volume":"3","author":"M Chen","year":"2003","unstructured":"Chen M, Hofest\u00e4dt R: Quantitative Petri net model of gene regulated metabolic networks in the cell. In Silico Biol. 2003, 3 (3): 347-365.","journal-title":"In Silico Biol"},{"issue":"7","key":"428_CR4","doi-asserted-by":"publisher","first-page":"1219","DOI":"10.1093\/bioinformatics\/bti145","volume":"21","author":"I Koch","year":"2005","unstructured":"Koch I, Junker BH, Heiner M: Application of Petri net theory for modelling and validation of the sucrose breakdown pathway in the potato tuber. Bioinformatics. 2005, 21 (7): 1219-1226.","journal-title":"Bioinformatics"},{"key":"428_CR5","volume-title":"PLoS Comput Biol.","author":"D Ruths","year":"2008","unstructured":"Ruths D, Muller M, Tseng JT, Nakhleh L, Ram PT: The signaling petri net-based simulator: a non-parametric strategy for characterizing the dynamics of cell-specific signaling networks. PLoS Comput Biol. 2008, 4 (2):","edition":"4"},{"issue":"1","key":"428_CR6","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1016\/j.biosystems.2008.12.003","volume":"96","author":"A Sackmann","year":"2009","unstructured":"Sackmann A, Formanowicz D, Formanowicz P, Blazewicz J: New insights into the human body iron metabolism analyzed by a Petri net based approach. Biosystems. 2009, 96 (1): 104-113.","journal-title":"Biosystems"},{"key":"428_CR7","volume-title":"BMC Syst Biol.","author":"C Li","year":"2009","unstructured":"Li C, Nagasaki M, Ueno K, Miyano S: Simulation-based model checking approach to cell fate specification during Caenorhabditis elegans vulval development by hybrid functional Petri net with extension. BMC Syst Biol. 2009, 3 (42):","edition":"3"},{"issue":"3","key":"428_CR8","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1093\/bioinformatics\/btl596","volume":"23","author":"LJ Steggles","year":"2007","unstructured":"Steggles LJ, Banks R, Shaw O, Wipat A: Qualitatively modelling and analysing genetic regulatory networks: a Petri net approach. Bioinformatics. 2007, 23 (3): 336-343.","journal-title":"Bioinformatics"},{"key":"428_CR9","volume-title":"BMC Syst Biol.","author":"M Nagasaki","year":"2008","unstructured":"Nagasaki M, Saito A, Li C, Jeong E, Miyano S: Systematic reconstruction of TRANSPATH data into Cell System Markup Language. BMC Syst Biol. 2008, 2 (53):","edition":"2"},{"issue":"1","key":"428_CR10","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1093\/nar\/gkg089","volume":"31","author":"M Krull","year":"2003","unstructured":"Krull M, Voss N, Choi C, Pistor S, Potapov A, Wingender E: TRANSPATH: an integrated database on signal transduction and a tool for array analysis. Nucleic Acids Res. 2003, 31 (1): 97-100.","journal-title":"Nucleic Acids Res"},{"issue":"3","key":"428_CR11","first-page":"323","volume":"3","author":"I Zevedei-Oancea","year":"2003","unstructured":"Zevedei-Oancea I, Schuster S: Topological analysis of metabolic networks based on Petri net theory. In Silico Biol. 2003, 3 (3): 323-345.","journal-title":"In Silico Biol"},{"key":"428_CR12","volume-title":"BMC Bioinformatics","author":"E Grafahrend-Belau","year":"2008","unstructured":"Grafahrend-Belau E, Schreiber F, Heiner M, Sackmann A, Junker BH, Grunwald S, Speer A, Winder K, Koch I: Modularization of biochemical networks based on classification of Petri net t-invariants. BMC Bioinformatics. 2008, 9 (90):","edition":"9"},{"issue":"1-3","key":"428_CR13","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/j.biosystems.2004.03.003","volume":"75","author":"M Heiner","year":"2004","unstructured":"Heiner M, Koch I, Will J: Model validation of biological pathways using Petri nets, demonstrated for apoptosis. Biosystems. 2004, 75 (1-3): 15-28.","journal-title":"Biosystems"},{"issue":"5","key":"428_CR14","doi-asserted-by":"publisher","first-page":"1119","DOI":"10.1142\/S021972000600234X","volume":"4","author":"C Li","year":"2006","unstructured":"Li C, Suzuki S, Ge QW, Nakata M, Matsuno H, S M: Structural modeling and analysis of signaling pathways based on Petri nets. J Bioinform Comput Biol. 2006, 4 (5): 1119-1140.","journal-title":"J Bioinform Comput Biol"},{"issue":"2","key":"428_CR15","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1093\/bioinformatics\/btm560","volume":"24","author":"S Hardy","year":"2008","unstructured":"Hardy S, Robillard PN: Petri net-based method for the analysis of the dynamics of signal propagation in signaling pathways. Bioinformatics. 2008, 24 (2): 209-217.","journal-title":"Bioinformatics"},{"issue":"2","key":"428_CR16","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1049\/iet-syb:20060035","volume":"1","author":"A Hal\u00e1sz","year":"2007","unstructured":"Hal\u00e1sz A, Kumar V, Imieli\u0144ski M, Belta C, Sokolsky O, Pathak S, Rubin H: Analysis of lactose metabolism in E. Coli using reachability analysis of hybrid systems. IET Syst Biol. 2007, 1 (2): 130-148.","journal-title":"IET Syst Biol"},{"issue":"1","key":"428_CR17","first-page":"180","volume":"15","author":"M Nagasaki","year":"2004","unstructured":"Nagasaki M, Doi A, Matsuno H, Miyano S: A versatile Petri net based architecture for modeling and simulation of complex biological processes. Genome Inform. 2004, 15 (1): 180-197.","journal-title":"Genome Inform"},{"key":"428_CR18","volume-title":"Petri Net Theory and the Modeling of Systems","author":"JL Peterson","year":"1981","unstructured":"Peterson JL: Petri Net Theory and the Modeling of Systems. 1981, Prentice Hall,"},{"issue":"1","key":"428_CR19","first-page":"100","volume":"17","author":"A Saito","year":"2006","unstructured":"Saito A, Nagasaki M, Doi A, Ueno K, Miyano S: Cell fate simulation model of gustatory neurons with MicroRNAs double-negative feedback loop by hybrid functional Petri net with extension. Genome Inform. 2006, 17 (1): 100-111.","journal-title":"Genome Inform"},{"issue":"2","key":"428_CR20","first-page":"226","volume":"17","author":"S Tasaki","year":"2006","unstructured":"Tasaki S, Nagasaki M, Oyama M, Hata H, Ueno K, Yoshida R, Higuchi T, Sugano S, Miyano S: Modeling and estimation of dynamic EGFR pathway by data assimilation approach using time series proteomic data. Genome Inform. 2006, 17 (2): 226-238.","journal-title":"Genome Inform"},{"key":"428_CR21","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/S0092-8674(00)81225-8","volume":"94","author":"B Kloss","year":"1998","unstructured":"Kloss B, Price JL, Saez L, Blau J, Rothenfluh A, Wesley CS, Young MW: The Drosophila clock gene double-time encodes a protein closely related to human casein Kinase Iepsilon. Cell. 1998, 94: 97-107.","journal-title":"Cell"},{"issue":"3","key":"428_CR22","first-page":"389","volume":"3","author":"H Matsuno","year":"2003","unstructured":"Matsuno H, Tanaka Y, Aoshima H, Doi A, Matsui M, Miyano S: Biopathways representation and simulation on hybrid functional Petri net. In Silico Biol. 2003, 3 (3): 389-404.","journal-title":"In Silico Biol"},{"issue":"1","key":"428_CR23","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/S0092-8674(00)81224-6","volume":"94","author":"JL Price","year":"1998","unstructured":"Price JL, Blau J, Rothenfluh A, Abodeely M, Kloss B, Young MW: Double-time is a novel Drosophila clock gene that regulates PERIOD protein accumulation. Cell. 1998, 94 (1): 83-95.","journal-title":"Cell"},{"key":"428_CR24","unstructured":"ASTD of Drosophila Circadian rhythm model.http:\/\/www.csml.org\/models\/csml-models\/circadian-rhythms-in-drosophila\/ASTD\/"},{"key":"428_CR25","volume-title":"Discrete, Continuous, and Hybrid Petri Nets","author":"R David","year":"2004","unstructured":"David R, Alla H: Discrete, Continuous, and Hybrid Petri Nets. 2004, Springer,"}],"container-title":["BMC Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1186\/1752-0509-4-39.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,1]],"date-time":"2021-09-01T05:07:49Z","timestamp":1630472869000},"score":1,"resource":{"primary":{"URL":"https:\/\/bmcsystbiol.biomedcentral.com\/articles\/10.1186\/1752-0509-4-39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4,1]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,12]]}},"alternative-id":["428"],"URL":"https:\/\/doi.org\/10.1186\/1752-0509-4-39","relation":{},"ISSN":["1752-0509"],"issn-type":[{"value":"1752-0509","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,4,1]]},"assertion":[{"value":"14 September 2009","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 April 2010","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 April 2010","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"39"}}