A Python wrapper of adevs, a C++ library implementing the Discrete Event System Specification (DEVS)