開發者 pn2a.sf.net

用於將 Petri 網路轉換為有限狀態自動機和轉換半組的小型 GAP 封裝。