Bio-PEPAd

swMATH10690MaRDI QIDQ22648FDOQ22648

Author name not available (Why is that?)

Cited In (4)

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

This page was built for software: Bio-PEPAd