... thống mạng vị trí/chuyển tính chất mạng Petri gồm tính chất phụ thuộc đánh dấu tính chất không phụ thuộc vào đánh dấu Trong đó, số tính chất điển hình mạng Petri đề cập tính bị chặn”, tính an ... tổng quan mạng Petri, mạng điều kiện – biến cố, mạng vị trí/chuyển Các tính chất mạng Petri nghiên cứu Luận văn tính bị chặn”, tính sống”, tính tắc nghẽn” tính thuận nghịch” Các tính chất thể ... tính an toàn”, tính sống”, tính tắc nghẽn” tính thuận nghịch” Chương - Ứng dụng mạng Petri lập trình hƣớng đối tƣợng tƣơng tranh Chúng trình bày ứng dụng lý thuyết mạng Petri kết hợp với...