adevs
adevs Documentation

Links to the user manual, tutorials on DEVS, and other such stuff are here.