Petri net và ứng dụng trong mô hình hóa, phân tích các hệ thống sản xuất

Mạng Petri, còn được gọi là mạng địa điểm/chuyển tiếp (PT), là một trong một sổ ngôn ngừ mô hình hóa toán học được phát minh bởi nhà khoa học máy tính người Đức Carl Adam Petri trong luận án tiến sĩ năm 1962 của ông về K Truyền thông mít Automaten. Kể từ đó, Petri Net đã được phát triển và ứng dụng rộng rãi để mô hình hóa, phân tích và tối ưu hóa các hệ thống trong nhiều lĩnh vực như: Công nghệ thông tin, điện tử viễn thông, giao thông vận tải, hóa sinh, y tế, hệ thong sàn xuất, kinh tế...; lý thuyết cơ bàn về Petri Net và các ví dụ ứng dụng trong việc tối ưu hóa quy trình sàn xuất