Luận văn trình bày các khái niệm cơ bản về mạng Petri cơ sở và mạng các hệ điều kiện - biến cố cũng như các quá trình của hệ điều kiện - biến cố; nghiên cứu về mạng vị trí/chuyển và các tính chất của mạng Petri gồm tính chất phụ thuộc bộ đánh dấu đầu tiên và tính chất không phụ thuộc vào bộ đánh dấu đầu tiên.