Tìm hiểu nghiên cứu mạng Petri và ứng dụng mô hình hóa quá trình song song và tương tranh.