Chương trình theo petrikit.sf.net

PetriKit là một bộ công cụ mô-đun để phân tích Petri Net. Nó cho phép khai thác các tính chất cơ bản, khai thác bất biến và tạo ra đồ thị khả năng tiếp cận. Kết quả có thể được định dạng trong các tệp văn bản thuần túy, HTML