Platform Independent Petri Net Editor

dự án Platform độc lập Petri Net Editor (PIPE) tạo và phân tích Petri Nets một cách nhanh chóng, hiệu quả và hiệu quả.
Một tính năng thiết kế chính là cách tiếp cận mô-đun thông qua phân tích, cho phép các module mới được viết một cách dễ dàng và mạnh mẽ, sử dụng được xây dựng trong phương pháp lớp dữ liệu để tính toán tiêu chuẩn.
Sáu mô-đun phân tích được cung cấp, bao gồm bất biến Phân tích, nhà nước-Space Analysis (deadlock, vv), và mô phỏng phân tích và phân loại.
PIPE tuân thủ các tiêu chuẩn XML Petri net (PNML). Các định dạng tập tin để lưu và tải Petri Nets là mở rộng thông qua việc sử dụng XSLT, mặc định là PNML.