Sử dụng tính phân cấp để giảm độ phức tạp trong mô hình hóa hệ thống sử dụng mạng Petri màu

Bài viết sử dụng mạng Petri màu phân cấp để mô hình hóa tiến trình nghiệp vụ của hệ thống Cửa hàng trực tuyến, đồng thời phát triển PyCPN, một công cụ mô hình hóa sử dụng mạng Petri màu phân cấp, để mô tả mô hình.