Publication:5472942
From MaRDI portal
zbMath1096.68110MaRDI QIDQ5472942
Louchka Popova-Zeugmann, Ina Koch, Monika Heiner
Publication date: 19 June 2006
92C40: Biochemistry, molecular biology
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Model Checking of Biological Systems, Petri nets for modelling metabolic pathways: a survey, A mathematical model for optimal functional disruption of biochemical networks, When are timed automata weakly timed bisimilar to time Petri nets?, Modeling of the U1 snRNP assembly pathway in alternative splicing in human cells using Petri nets, Dependent shrink of transitions for calculating firing frequencies in signaling pathway Petri net model, Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks, Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE, Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach, Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework, How Might Petri Nets Enhance Your Systems Biology Toolkit, Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
Uses Software