Một mô hình trừu tượng, chính thức của dòng chảy thông tin, Hiển thị các thuộc tính tĩnh và năng động của một hệ thống. A Petri mạng thường được đại diện như là một đồ thị có hai loại nút (gọi là các địa điểm và quá trình chuyển đổi) kết nối bằng vòng cung, và đánh dấu (được gọi là thẻ) cho thấy tính chất năng động.