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
- FG Datenstrukturen und Softwarezuverlässigkeit (144) (remove)
BTU
On Integration of Qualitative and Quantitative Analysis of Manufacturing Systems Using Petri Nets
(1997)
Petri Nets
(2008)
Dynamics of cell fate decisions are commonly investigated by inferring temporal sequences of gene expression states by assembling snapshots of individual cells where each cell is measured once. Ordering cells according to minimal differences in expression patterns and assuming that differentiation occurs by a sequence of irreversible steps, yields unidirectional, eventually branching Markov chains with a single source node. In an alternative approach, we used multi-nucleate cells to follow gene expression taking true time series. Assembling state machines, each made from single-cell trajectories, gives a network of highly structured Markov chains of states with different source and sink nodes including cycles, revealing essential information on the dynamics of regulatory events. We argue that the obtained networks depict aspects of the Waddington landscape of cell differentiation and characterize them as reachability graphs that provide the basis for the reconstruction of the underlying gene regulatory network.
Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking
(2019)
Spike - a command line tool for continuous, stochastic & hybrid simulation of (coloured) Petri nets
(2018)
Reproducibility of simulation experiments is still a significant challenge and has attracted considerable attention in recent years. One cause of this situation is bad habits of the scientific community. Many results are published without data or source code, and only a textual description of the simulation set-up is provided. Other causes are: no complete simulation set-up, no proper output data analysis and inconsistency of published data, which makes it impossible to compare results.
The progress of computational modelling, amount of data and complexity of models requires designing experiments in such a way that ensures reproducibility. A textual description does not provide all the needed details. A computer code is more reliable than a textual description. It is the precise specification that describes a simulation configuration, model, etc. When computer code, data, models and all parameters are provided, the simulation results become reproducible.
The main goal of this thesis is to develop a tool that ensures reproducibility and efficient execution of simulation experiments, often involving many individual simulation runs. The tool should support a wide range of application scenarios, where the typical scenario is simulation of biochemical reaction networks, which are represented as (coloured) Petri nets interpreted in the stochastic, continuous or hybrid paradigm. The model to be simulated can be given in various formats, including SBML.
The result is a command line tool called Spike, which can be used for various scenarios, including benchmarking, simulation of adaptive models and parameter optimization. It builds on a human-readable configuration script SPC, supporting the efficient specification of multiple model configurations as well as multiple simulator configurations in a single configuration file.