The TAPAAL tool offers a graphical editor for drawing TAPN models, simulator for experimenting with the designed nets and a verification environment that automatically answers logical queries formulated in a subset of CTL logic (essentially EF, EG, AF, AG formulae without nesting).
Shenhua CTL | CTL |
This gene encodes a member of the C-type lectin/C-type lectin-like domain (CTL/CTLD) superfamily.