Reproduction Package for the Paper on Termination and Expressiveness of Execu...

This repository provides the transformation network simulator developed for the paper "Termination and Expressiveness of Execution Strategies for Networks of Bidirectional Model...本代码仓库提供了为学术论文《双向模型网络的执行策略的终止性与表达能力（Termination and Expressiveness of Execution Strategies for Networks of Bidirectional Model……）》开发的变换网络模拟器。