Abstract:Background With an accumulation of in silico 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. 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. Results We propose a novel method for constructing and analyzing a so-called active state transition diagram (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 temporal subnets ) 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 Drosophila . Conclusions 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.

Study on Modeling Power of Time Petri Net

Open Problems in Petri Net Modeling and Simulation of Biological Systems.

Extended time Petri nets

One modeling method research of complex Petri nets with timing constraint

A HIERARCHICAL MODEL OF PETRI NET AND A MODELING TOOL FOR ITS DESIGN

Modeling And Evaluating Of Net Protocol Based On Timed Colored Petri Net

Simulation of Time Petri Nets

A Time Petri Net Representation for Scientific Research Project Management

Petri Net Model of Input and Output System

Petri net and its application in workflow system modeling and analysis

Research On Methodology Of Modeling Equipment Maintenance Support System Based On Petri Net

Modelling And Analysis Of Hybrid Stochastic Timed Petri Net

A class of extended time Petri nets for modeling and simulation of discrete event systems

Modeling and Dynamic Performance Evaluation of WTIM Based on Petri Nets

Research on Model-Checking Based on Petri Nets

Modeling of Real-Time Multiagent Systems Based on Petri Net

Time-dependent structural transformation analysis to high-level Petri net model with active state transition diagram

Methodology of modeling and formal verification based on extended Petri net

Spatio-Temporal Petri Net Model for Describing CPS Physical Entities

Modeling and Reachability Analysis of A Class of Petri Nets Via Semi-Tensor Product of Matrices

Modeling of Ethernet Based on the Hierarchical Timed Colored Petri Net