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