Adevs (A Discrete EVent System simulator) 是一个C++库（同时也提供Java的版本），用来开发离散事件模拟程序，基于 Parallel DEVS 和 Dynamic DEVS formalisms.