開發者 www.ornl.gov/~1qn/adevs/index.html

Adevs 是C++離散事件類比的一個虛擬庫。它基於離散事件系統規範 （DEVS） 和動態 DEVS 對形式主義建模。