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
TS. Hồ Khánh Lâm - Tập đoàn Bưu chính Viễn thông Việt Nam (VNPT)
Tóm tắ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 mit 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ệ thống 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.
Từ khóa: Petri Net, mô hình hóa, phân tích, hệ thống sản xuất