A simulator for π-calculus processes.

EpiM is a software package developed for computing execution spaces of π-calculus processes. It is build upon the general graph transformation framework in MØD.

The software is implemented in Python 3, but utilizes the core of MØD, which is implemented in C++, for the computation of execution spaces. The package also includes a large visualisation module that makes it possible to visualise (recursive) processes and their execution spaces.

Andersen, J.L., Hellmuth, M., Merkle, D., Nøjgaard, N. and Peressotti, M. 2020. A Graph-Based Tool to Embed the π-Calculus into a Computational DPO Framework. *Proceedings of the SOFSEM 2020 Student Research Forum co-located with the 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020)* (2020), 121–132.