Pages that link to "Item:Q764354"
From MaRDI portal
The following pages link to Bio-PEPAd: a non-Markovian extension of Bio-PEPA (Q764354):
Displaying 5 items.
- Verification of membrane systems with delays via Petri nets with delays (Q496035) (← links)
- Stochastic hybrid automata with delayed transitions to model biochemical systems with delays (Q2453210) (← links)
- Hybrid semantics for Bio-PEPA (Q2453221) (← links)
- Bio-PEPA: an extension of the process algebra PEPA for biochemical networks (Q2870300) (← links)
- Bio-PEPA with Events (Q3642952) (← links)