Modelling and Simulation of the TLR4 Pathway with Coloured Petri Nets | IEEE Conference Publication | IEEE Xplore