开发者 pn2a.sf.net

用于将 Petri 网络转换为有限状态自动机和转换半组的小型 GAP 封装。