Tokens may be created or destroyed

Tokens may be created or destroyed by transition firings. Under special conditions, the total number of tokens in a net never changes; such nets are called conservative. We usually won’t worry about token conservation. Markings let us execute Petri nets in much the same way that we execute finite state machines. (It turns out that finite state machines are a special case of Petri nets.) Suppose we had a different marking of the net in Figure 4.7; in this new marking places p1, p2, and p5 are all marked. With such a marking, transitions t1 and t3 are both enabled. If we choose to fire transition t1, the token in place p5 is removed, and t3 is no longer enabled. Similarly, if we choose to fire t3, we disable t1. This pattern is known as Petri net conflict, more specifically, we say that transitions t1 and t3 are in conflict with respect to place p5. Petri net conflict exhibits an interesting form of interaction between two transitions; we will revisit this (and other) interactions in Chapter 16.

Kết quả (Việt) 1:

Thẻ có thể được tạo ra hoặc bị phá hủy bởi quá trình chuyển đổi firings. Điều kiện đặc biệt, tổng số thẻ trong một mạng lưới không bao giờ thay đổi; lưới như vậy được gọi là bảo thủ. Chúng tôi thường sẽ không lo lắng về bảo tồn token. Đánh dấu cách cho chúng tôi thực hiện Petri lưới trong nhiều theo cùng một cách mà chúng tôi thực hiện máy hữu hạn trạng thái. (Nó chỉ ra rằng máy hữu hạn trạng thái là một trường hợp đặc biệt của Petri lưới.) Giả sử chúng tôi đã có một đánh dấu khác nhau của mạng trong hình 4.7; trong này mới đánh dấu nơi p1, p2, và p5 được tất cả các đánh dấu. Với đánh dấu như vậy, quá trình chuyển đổi t1 và t3 được cả hai được kích hoạt. Nếu chúng tôi chọn để bắn quá trình chuyển đổi t1, kỷ niệm ở nơi p5 được lấy ra, và t3 không còn được kích hoạt. Tương tự như vậy, nếu chúng tôi chọn để bắn t3, chúng tôi vô hiệu hóa t1. Mô hình này được gọi là xung đột cơ thể Petri, cụ thể hơn, chúng tôi nói rằng quá trình chuyển đổi t1 và t3 là mâu thuẫn với sự tôn trọng để đặt p5. Xung đột net Petri thể hiện một hình thức thú vị của sự tương tác giữa hai quá trình chuyển đổi; chúng tôi sẽ xem xét lại này (và khác) tương tác trong chương 16.