QSPACE BIO VERIFICATION

To validate our approach, we implemented it as an extension to the tool Real Time Studio (an integrated environment for modeling, simulation and automatic verification of real-time systems), and compared our simulation results with those obtained by simulating systems of ordinary differential equations on MATLAB. The resulting HFPN not only preserves the semantics of the original model, but is also more humanly readable thanks to the use of a novel technique to connect its components in a smart way. In this work we propose an approach to automatically translate a system of ordinary differential equations representing a biological process into a HFPN. In fact, these nets allow to capture phenomena which are impossible to capture with ordinary differential equations, while being more intuitive to understand and model with. However, HFPNs offer a much more elegant and versatile approach to represent these processes more accurately. Often, this will be places like social media, your website, guest post bylines, or your speaker profile, but you can also include it in other marketing materials like flyers for events you’re hosting or the blurb for your latest ebook. Traditionally, biological processes are captured as systems of ordinary differential equations. Your personal bio can be displayed anywhere that you might want people to find out more about you. The extension known under the name Hybrid Functional Petri Net (HFPN) was developed specifically to model biological systems. With its various extensions, Petri Nets find applications in many other fields including Biology. Petri Net is a powerful computerized and graphical modeling technique originally developed by Carl Adam Petri in 1960 to model discrete event systems. Among modeling tools, the Petri Net formalism plays an important role. The help of computers in biology resulted in deeper knowledge about complex biological systems and biopathways behaviors. The integration of biological studies with computer technologies led to a noticeable development in this field with the appearance of many powerful modeling and simulation techniques and tools. The study of biological systems is growing rapidly, and can be considered as an intrinsic task in biological research and a prerequisite for diagnosing diseases and drug development. The help of computers in biology resulted in deeper knowledge about complex biological systems and biopathways behaviors.

Qspace bio