Pages that link to "Item:Q1761679"
From MaRDI portal
The following pages link to Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks (Q1761679):
Displaying 6 items.
- IDD-based model validation of biochemical networks (Q548487) (← links)
- Enzymatic competition: Modeling and verification with timed hybrid Petri nets (Q1013380) (← links)
- Dependent shrink of transitions for calculating firing frequencies in signaling pathway Petri net model (Q1662584) (← links)
- On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets (Q2941140) (← links)
- How Might Petri Nets Enhance Your Systems Biology Toolkit (Q3011879) (← links)
- Activity Networks with Delays an Application to Toxicity Analysis (Q3174740) (← links)