A Hybrid Petri Net for Modelling Hybrid Biochemical Interactions
نویسندگان
چکیده
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.
منابع مشابه
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...
متن کامل