B – 1: So sánh đặc điểm của CISC và RISC
6.2.2 Qui ước biểu diễn mô hình Petrinet
Trong qui ước biểu diễn hình hoạ thì mạng Petri sử dụng các vòng tròn để biểu diễn các điều kiện, các hộp để biểu diễn các sự kiện, và mũi tên biểu diễn quan hệ luồng. Một ví dụ minh hoạ về mạng Petri được mô tả trong Hình 6-1, trong đó:
P = { p1 , p2 , ..., pnp } là tập gồm np vị trí được biểu diễn trong mô hình (được mô tả bởi các vòng tròn);
T = {t1 , t2 , ..., tnt } là tập gồm nt chuyển đổi trong tập chuyển đổi biểu diễn trong mô hình (được mô tả bởi các hình chữ nhật);
I biểu diễn quan hệ đi vào chuyển đổi và được ký hiệu bởi đường mũi tên theo
1
This Document is Prepared by Dr. Bui Trung Thanh
hướng từ các vị trí tới các chuyển đổi;
biểu diễn quan hệ đi ra khỏi chuyển đổi và được ký hiệu bởi các đường mũi
tên theo hướng từ các chuyển đổi tới các vị trí;
M = {m1 , m2 , ...mnp } là dấu trạng thái của các chuyển đổi trong hệ thống. Các giá trị mi là số các thẻ bài (được ký hiệu như các chấm tròn đen) chứa bên trong các vị trí pi trong tập dấu M.
Hình 6-1: ví dụ về một mạng petri
Hệ thống động có thể được mô tả bởi mạng Petri nhờ sự chuyển dịch các thẻ bài trong các vị trí của hệ thống mô hình và tuân thủ theo luật sau:
Một chuyển đổi được phép thực thi nếu tất cả các vị trí đi vào chuyển đổi đó chứa ít nhất một thẻ bài.
Khi một chuyển đổi đã được thực thi xong (hoàn thành) thì một thẻ bài sẽ bị loại ra khỏi vị trí đi vào chuyển đổi đó đồng thời bổ sung thêm một thẻ bài vào các vị trí đầu ra tương ứng của chuyển đổi đó.
dấu trong tập M. Trong ví dụ trên có 5 phần tử dấu trong tập R lần lượt là M1 , M
2 , M 3 , M 4 , M 5 . Tương ứng lần lượt như sau:
M1 = (1, 0, 0, 0,0) :M 2 = (0,1,1, 0, 0) : M 2 = (0,1,1, 0, 0) : M 3 = (0,1, 0, 0,1) : M 4 = (0, 0, 0,1,1) : M 5 = (0, 0,1,1,0) :