Bio-PEPAd

MaRDI QIDQ22648swMATHFDO

Official website http://www.sciencedirect.com/science/article/pii/S0304397511009479

Cited in

(6)

• Verification of membrane systems with delays via Petri nets with delays
• Stochastic hybrid automata with delayed transitions to model biochemical systems with delays
• Bio-PEPA
• LBS
• Hybrid semantics for Bio-PEPA
• Bio-PEPAd: a non-Markovian extension of Bio-PEPA

This page was built for software: Bio-PEPAd