A Hybrid Petri Net for Modelling Hybrid Biochemical Interactions

نویسندگان

  • Mostafa Herajy
  • Monika Heiner
چکیده

Recently hybrid modelling and simulation of biochemical systems have attracted increasing interest. This is motivated by the need of simulating systems which integrate different sub-cellular models, and the fact that bio networks themselves are inherently stochastic, however stochastic simulation is time expensive. Compared to other methods of biological modelling, Petri nets are characterized by their intuitive visual representation and executability of biological models. In this paper, we present a hybrid Petri net class that incorporates both continuous and stochastic capabilities. The presented class is intended to model and simulate hybrid biological systems such that they contain some parts which are simulated deterministically while other parts are simulated stochastically.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modelling of Embedded Mechatronic Systems Using Hybrid Petri Nets

The paper describes the challenges of modelling hybrid embedded systems. It discusses the problems of modelling such systems and suggests the use of hybrid Petri nets. The potential of hybrid Petri nets is shown by modelling an exemplary embedded mechatronic system with a special hybrid Petri net class using a special modelling tool.

متن کامل

Hybrid Modelling focused on Hybrid Petri Nets

In the present paper, a general hybrid model is proposed, including vector-field switching and/or state jumps. We clearly separate the open-loop hybrid plant from the closed-loop hybrid system in order to support the construction of a hybrid controller. A unified mathematical description where all changes are expressed as state jumps is presented. The total hybrid system can be described by hyb...

متن کامل

Discrete and Hybrid Systems Dependability Analysis with ESA PetriNet

Based on Petri net modelling and linear logic as formal framework, ESA PetriNet allows to carry out dependability analysis of discrete (based on temporal Petri nets modelling) or hybrid systems (differential predicate-transition Petri nets modelling). ESA PetriNet implements the approach for critical scenarios deriving. The approach is based on a qualitative analysis of Petri net model. It cons...

متن کامل

Computational steering of multi-scale biochemical networks

Computational steering is an interactive remote control of a long running application. The user can adopt it to adjust the simulation parameters on the fly. Correspondingly, simulation of large scale biochemical networks is computationally expensive, particularly stochastic and hybrid simulation. Such extremely intensive computations necessitate an interactive mechanism to permit users to try d...

متن کامل

Dependability Evaluation of a Simple Mechatronic System Using Coloured Petri Nets

Mechatronic automotive systems are hybrid systems. Modelling and simulation of the interactions between continuous and discrete parts is essential to evaluate dependability. In this paper we show how a simple mechatronic system can be modelled in the CPN formalism. Quantitative dependability evaluation is obtained thanks to MonteCarlo simulation. We use the DesignCPN Occurrence Graph tool to va...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010