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

Petri Net Kernel (PNK) là một cơ sở hạ tầng để xây dựng các công cụ mạng Petri. Nó đi kèm với một thư viện lớp Java cho các ứng dụng mạng Petri, một trình soạn thảo đồ họa và một số ứng dụng PNK. Nó rất dễ dàng để mở rộng PNK