รูปการแบบนามธรรม อย่างเป็นทางการของสารสนเทศ แสดงคุณสมบัติแบบไดนามิก และแบบคงที่ของระบบ สุทธิ Petri A มักจะแสดงเป็นกราฟมีสองชนิดของโหนด (เรียกว่าสถานที่และช่วงการเปลี่ยนภาพ) เชื่อมต่อ โดยเส้นโค้ง เครื่องหมาย (เรียกว่าโทเค็น) ระบุคุณสมบัติแบบไดนามิก