Refine
Year of publication
Document Type
Language
- English (29)
Keywords
- Petri nets (2)
- Biochemical reaction networks (1)
- Bistable switch (1)
- Colored Petri nets (1)
- Coloured Petri (1)
- Coloured Petri nets (1)
- Coloured fuzzy continuous Petri net (1)
- Coloured fuzzy continuous, stochastic and hybrid Petri nets (1)
- Coloured fuzzy hybrid Petri net (1)
- Coloured fuzzy stochastic Petri nets (1)
Institute
BTU
Fuzzy stochastic Petri nets for modeling biological systems with uncertain kinetic parameters
(2016)
Coloured Petri nets for multilevel, multiscale and multidimensional modelling of biological systems
(2019)
Coloured Hybrid Petri Nets: an Adaptable Modelling Approach for Multi-scale Biological Networks
(2018)
We consider coloured Petri nets, qualitative and quantitative ones alike, as supported by our PetriNuts tool family, comprising, among others, Snoopy, Marcie and Spike. Currently, most analysis and simulation techniques require to unfold the given coloured Petri net into its corresponding plain, uncoloured Petri net representation. This unfolding step is rather straightforward for finite discrete colour sets, but tends to be time-consuming due to the potentially huge number of possible transition bindings. We present an unfolding approach building on a special type of symbolic data structures, called Interval Decision Diagram, and compare its runtime performance with an unfolding engine employing an off-the-shelf library to solve constraint satisfaction problems. For this comparison we use the 22 scalable coloured models from the MCC benchmark suite, complemented by a few from our own collection.
Fuzzy Petri nets
(2021)
This document explains the procedure of modelling and simulating FPN
and FPNC in Snoopy; please compare Figure 1 . Please note that the same
steps for one net class can be equally applied to the other classes, just differentiate between uncoloured Petri nets (PN) and coloured Petri nets (PNC).
Furthermore, we give more details about Latin Hybercube Sampling strategies supported by Snoopy's FPN.
Integrated modelling of biological systems is becoming a necessity for constructing models containing the major biochemical processes of such systems in order to obtain a holistic understanding of their dynamics and to elucidate emergent behaviours. Hybrid modelling methods are crucial to achieve integrated modelling of biological systems. This paper reviews currently popular hybrid modelling methods, developed for systems biology, mainly revealing why they are proposed, how they are formed from single modelling formalisms and how to simulate them. By doing this, we identify future research requirements regarding hybrid approaches for further promoting integrated modelling of biological systems.