โปรแกรมตาม petrikit.sf.net

PetriKit เป็นชุดเครื่องมือแบบแยกส่วนสําหรับการวิเคราะห์ Petri Net ช่วยให้สามารถสกัดคุณสมบัติพื้นฐานการสกัด invariants และการสร้างกราฟความสามารถในการเข้าถึงได้ ผลลัพธ์สามารถจัดรูปแบบเป็นแฟ้มข้อความล้วน HTML หรือ XML ได้