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.

Timed Petri Net Modeling And Simulation Of A High-Throughput Biological Screening Process

A Systematic Petri Net Approach for Multiple-Scale Modeling and Simulation of Biochemical Processes

Timed Petri Nets Modelling of High-Throughput Screening Process for Fault Study

Quantitative Petri Net Model of Gene Regulated Metabolic Networks in the Cell

Modelling and Simulation of Metabolic Networks Petri Nets Approach and Perspective

Petri Net Models for the Semi-Automatic Construction of Large Scale Biological Networks

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

BioNetSim: a Petri Net-Based Modeling Tool for Simulations of Biochemical Processes

Modeling, safety verification and optimization of operating procedures in process systems using hybrid Petri nets

Efficient approach to cyclic scheduling of high throughput screening systems for bioengineering

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

Resource Allocation for a Life Science Automation Line: a Petri nets Approach

The design of biopathway's modelling and simulation system based on petri net

Simulation of Time Petri Nets

An advanced environment for hybrid modeling of biological systems based on modelica

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

High-speed Parameter Search of Dynamic Biological Pathways from Time-Course Transcriptomic Profiles Using High-Level Petri Net.

Neural System Modeling and Simulation Using Hybrid Functional Petri Net

Transformation of Business Process Model and Notation Models Onto Petri Nets and Their Analysis

Efficient Approach to Scheduling of High Throughput Screening Systems: A Case Study.

Hybrid Simulation of Biochemical Systems Using Hybrid Adaptive Petri Nets