Tìm hiểu nghiên cứu mạng Petri và ứng dụng nghiên cứu các cấu trúc của ngôn ngữ lập trình.