Login / Signup

Modelling and simulating reaction-diffusion systems using coloured Petri nets.

Fei LiuMary Ann BlätkeMonika HeinerMing Yang
Published in: Comput. Biol. Medicine (2014)
Keyphrases
  • reaction diffusion
  • coloured petri nets
  • neural network
  • higher order
  • formal verification