Các thành phần cơ bản của một mạng Petri được trình bày cụ thể trong bảng 3.5
Bảng 3.5. Các thành phần cơ bản của một Petri Net
Thành phần Mô tả Hình biếu diễn
Place
Thường đại diện cho điều kiện trong hệ thống được mô hình. Biểu diễn bởi hình tròn, kí hiệu là P.
Transition
Đại diện cho các sự kiện xảy ra trong hệ thống mà có thể gây ra sự thay đổi trong điều kiện của hệ thống.
- Transition nguồn (source transition): là một
P1 P2
t
Input place Output place
token
Input arc Output arc transition
transition không có place đầu vào.
- Transition chìm (sink transition): là transition không có place đầu ra.
Arcs
Các cung kết nối các place với các transition và các transition với các place (không bao giờ một cung từ một place tới một place hoặc từ một transition tới một transition).
- Các cung vào (input arcs) là các cung vẽ từ các place tới các transition, mô tả cho các điều
kiện cần được thiết lập cho sự kiện được kích hoạt.
- Các cung ra (output arcs) là các cung vẽ từ các
transition tới các place, mô tả cho các kết quả từ
sự xuất hiện của sự kiện.
Tokens
Tokens là các dấu chấm (hoặc số nguyên) liên
kết với các place, một place chứa tokens chỉ ra
sự nắm giữ các điều kiện tương ứng. Trọng số
của cung
Trọng số của cung từ p1 vào t W(p1,t) Trọng số của cung từ t ra p2 W(t,p2)
Marking
Là một vector n thành phần (m1,m2,…, mn). Trong đó:
+ n: số các place
+ mi ≥ 0 : số tokens trong place pi
M(m1,m2,…, mn)
Tuỳ theo hệ thống được mô phỏng mà các transition, place đầu vào, place đầu ra được hiểu tương ứng. Trong bảng 3.6 đưa ra một vài giải thích điển hình của các transition, các place đầu vào (input places), các place đầu ra (output places)[13, trang 2].
Bảng 3.6. Một vài giải thích của Transitions và Places
Input Places Transition Output Places
Tiền điều kiện Sự kiện Hậu điều kiện
Dữ liệu vào Bước tính toán Dữ liệu ra
Các tín hiệu vào Xử lý tín hiệu Tín hiệu ra
Tài nguyên cần thiết Tác vụ hoặc nhiệm vụ Tài nguyên giải phóng
Các điều kiện Mệnh đề logic Các kết luận
Các bộ nhớ đệm Bộ xử lý Các bộ nhớ đệm
Để có cái nhìn ban đầu về Petri Nets, chúng ta có thể xem xét một ví dụ về một mạng Petri mô phỏng về sản xuất/tiêu thụ sản phẩm như sau: