PetriKit: Petri Net Analysis Toolkit 1.0

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 4.0/5 - ‎1 ‎Phiếu

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 hoặc XML.

lịch sử phiên bản

  • Phiên bản 1.0 đăng trên 2008-01-17
    Một số bản sửa lỗi và cập nhật
  • Phiên bản 1.0 đăng trên 2008-01-17

Chi tiết chương trình