Modelling and Simulation of the TLR4 Pathway with Coloured Petri Nets.

Claudia Täubner Brigitte Mathiak Andreas Kupfer N. Fleischer Silke Eckstein

Published in: EMBC (2006)

Keyphrases

coloured petri nets
formal verification
database
data sets
neural network
real world
three dimensional
evolutionary algorithm
mathematical model
simulation environment
discrete event simulation