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).
model | Model (person) | America's Next Top Model | Ford Model T | New Model Army | model (person) | Model United Nations | IPTC Information Interchange Model | Chubby Checker | Lockheed Model 10 Electra | Checker Records | Standard Model | Model (profession) | Elite Model Management | RGB color model | Model Engineering College | Fetish model | business model | Beechcraft Model 18 | Scale model | Nice model | New Model Army (band) | Model Railroader | model (profession) | Lisette Model | Document Object Model | Component Object Model | Asia's Next Top Model | America's Most Smartest Model | Walter Model |