An implementation of embedded workflow nets in Erlang - View it on GitHub