Chương trình theo pn2a.sf.net
-
Petri Net to Automaton Converter (GAP) Miễn phí
Gói GAP nhỏ để chuyển đổi lưới Petri thành automata trạng thái hữu hạn và các nhóm bán rã chuyển đổi.
Gói GAP nhỏ để chuyển đổi lưới Petri thành automata trạng thái hữu hạn và các nhóm bán rã chuyển đổi.