FG Datenstrukturen und Softwarezuverlässigkeit
Refine
Year of publication
Document Type
- Scientific journal article peer-reviewed (54)
- Conference Proceeding (43)
- Part of a book (chapter) (19)
- Doctoral thesis (10)
- Scientific journal article not peer-reviewed (6)
- Conference publication peer-reviewed (4)
- Report (3)
- Article (2)
- Conference publication not peer-reviewed (2)
- Book (publisher) (1)
Keywords
- Petri Nets (5)
- Petri nets (5)
- ODEs (3)
- coloured Petri nets (3)
- systems biology (3)
- Modelchecking (2)
- Petri-Netz (2)
- SIR model (2)
- Systems biology (2)
- Verifikation (2)
- continuous Petri nets (2)
- fuzzy logic (2)
- multiscale models (2)
- simulation (2)
- stochastic Petri nets (2)
- 1-Stellen-Invarianten (1)
- Automatic network reconstruction (1)
- Biochemical reaction networks (1)
- Biomodel engineering (1)
- Bistable switch (1)
- Büchiautomaten (1)
- Büchinetze (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)
- Colouring fuzziness (1)
- Conti nuous and hybrid Petri nets (1)
- DCTL (1)
- Dendritic spines (1)
- Dynamic systems modelling (1)
- Ensembles (1)
- Fixpunktiteration (1)
- Fluxes (1)
- Fuzzy Petri Nets coloured fuzzy Petri nets Snoopy (1)
- Fuzzy kinetic parameters (1)
- Fuzzy membrane systems (1)
- Fuzzy simulation (1)
- Hybrid Petri Nets (1)
- Interval decision diagrams (1)
- Kinetic parameters (1)
- LTL (1)
- Markov chain (1)
- Mechanistic simulations (1)
- Metabolism (1)
- Model Checking (1)
- Modeling framework (1)
- Modelling (1)
- Modelling and simulation (1)
- Modelling uncertainty (1)
- Modular modelling (1)
- Molecular regulatory networks (1)
- Multi-scale modelling (1)
- Multiscale, multidimensional, computational modelling, space, time, systems biology, synthetic biology (1)
- Naturwissenschaften (1)
- Parallel simulation (1)
- Parameter scanning (1)
- Parameter uncertainties (1)
- Petri net (1)
- Petri nets Biological Processes (1)
- Petri-Netze (1)
- Petrinetze (1)
- Prozeßautomaten (1)
- Qualitative (1)
- ROBDD (1)
- Repressilator (1)
- Reproducibility (1)
- Reverse engineering (1)
- Simulation of adaptive models (1)
- Software harmonisation (1)
- Steady state (1)
- Stellen/Transaktionsnetze (1)
- Stochastic (1)
- Symbolic data structures (1)
- Tiefensuche (1)
- Uncertain biological systems (1)
- Unfolding (1)
- Unifying Petri net frame- work (1)
- Verteilte Systeme (1)
- Waddington landscape (1)
- Whole-cell modeling (1)
- biological modelling (1)
- fuzzy continuous Petri nets (1)
- gene regulatory network (1)
- geographic spatio-temporal 20 modelling (1)
- geographic spatio-temporal modelling (1)
- hybrid modelling (1)
- hybrid simulation (1)
- integrated modelling (1)
- linear-time temporale Logik (1)
- modelling (1)
- modelling formalisms (1)
- nebenläufige Systeme (1)
- on-the-fly Verfahren (1)
- reduzierte geordnete binäre Entscheidungsgraphen (1)
- single cell time series (1)
- symbolische Tiefensuche (1)
- symbolische Verfahren (1)
- uncertainties (1)
Institute
BTU
A Case Study in Design and Verification of Manufacturing Systems with Hierarchical Petri Nets
(1999)
A Case Study in Developing Control Software of Manufacturing Systems with Hierarchical Petri Nets
(1996)
A Graphical Approach for Hybrid Simulation of 3D Diffusion Bio-Models via Coloured Hybrid Petri Nets
(2020)
Three-dimensional modelling of biological systems is imperative to study the behaviour of dynamic systems that require the analysis of how their components interact in space. However, there are only a few formal tools that offer a convenient modelling of such systems. The traditional approach to construct and simulate 3D models is to build a system of partial differential equations (PDEs). Although this approach may be computationally efficient and has been employed by many researchers over the years, it is not always intuitive since it does not provide a visual depiction of the modelled systems. Indeed, a visual modelling can help to conceive a mental image which eventually contributes to the understanding of the problem under study. Coloured Hybrid Petri Nets () are a high-level representation of classical Petri nets that offer hybrid as well as spatial modelling of biological systems. In addition to their graphical representations, models are also scalable. This paper shows how can be used to construct and simulate systems that require three-dimensional as well as hybrid (stochastic/continuous) modelling. We use calcium diffusion in three dimensions to illustrate our main ideas. More specifically, we show that creating 3D models using can yield more flexible models as the structure can be easily scaled up and down by just modifying a few parameters. This advantage of convenient model configuration facilitates the design of different experiments without the need to alter the model structure.