The following pages link to (Q5472942):
Displayed 13 items.
- Petri nets for modelling metabolic pathways: a survey (Q609029) (← links)
- A mathematical model for optimal functional disruption of biochemical networks (Q655173) (← links)
- When are timed automata weakly timed bisimilar to time Petri nets? (Q944375) (← links)
- Modeling of the U1 snRNP assembly pathway in alternative splicing in human cells using Petri nets (Q1005001) (← links)
- Dependent shrink of transitions for calculating firing frequencies in signaling pathway Petri net model (Q1662584) (← links)
- Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks (Q1761679) (← links)
- Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE (Q2870296) (← links)
- Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach (Q3003506) (← links)
- Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework (Q3003509) (← links)
- How Might Petri Nets Enhance Your Systems Biology Toolkit (Q3011879) (← links)
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (Q3543285) (← links)
- Model Checking of Biological Systems (Q5300885) (← links)
- Concurrency in Boolean networks (Q6151158) (← links)