A toy model of signal tranduction to illustrate how different logic formalizms (Boolean, fuzzy logic and differential equations) treat state and time, is described here. This model was generated from the PKN-ToyPB.sif file available in cellnopt.data 0.7.8 (also on http://www.cellnopt.org (data section) using libSBML .