Welcome SNTOOL

SNTOOL is a computational framework to construct DES (Discrete Event Systems). Our primary goal was, at the beginning, to provide a tool to model and simulate intelligent systems, but we found it able to handle DES as well. The foundations of SNTOOL are given by a bunch of thesis and conference papers (see references). SNTOOL is the third generation of ONTOOL (Object Network Toolkit) project, and implements the model described in Gomes (2000).