Đối với các hệ thống phức tạp do khả năng hạn chế trong việc biểu diễn các quan hệ tương tranh (concurrency), đồng bộ (synchronization) cũng như các hoạt động nội tại của server nên phương pháp sử dụng mạng hàng đợi không đáng tin cậy. Trong bối cảnh đó, phương pháp sử dụng mạng Petri để mô phỏng hệ thống, sau đó, trên cơ sở phân tích cây trạng thái (được thể hiện thông qua tập hình trạng của mạng) để rút ra các kết quả đánh giá hiệu năng cả về định tính và định | Phương pháp đánh giá hiệu năng hệ thống sử dụng mạng Stochastic Petri A System Performance Evaluation Method Using Stochastic Petri Net Tạ Hải Tùng Abstract Nowadays Performance Evaluation is one of the most important fields of information technology. Hence it has been widely studied in recent years. This paper presents the performance evaluation method using Stochastic Petri Net. With the capability of simulating complex systems and mapping to Markov chain this method is powerful widely used in many systems especially in computer and communication systems. I. ĐẶT VẤN ĐỀ Đánh giá hiệu năng thông qua mô phỏng hệ thống là một phương pháp hiệu quả và đặc biệt hữu ích đối với các nhà thiết kế xây dựng hệ thống. Nền tảng của phương pháp là - Mô phỏng hệ thống mô hình hoá cấu trúc structure và mô tả hành vi behaviour của hệ thống. - Phân tích đánh giá hiệu năng trên mô hình mô phỏng hệ thống. Hiện nay có ba phương pháp đánh giá hiệu năng thông qua mô phỏng hệ thống 1 đó là phương pháp sử dụng Mạng hàng đợi Queue Network - QN 1 2 phương pháp sử dụng Mạng Petri Petri Net - PN 3 và phương pháp sử dụng Chương trình máy tính được thiết kế đặc thù chỉ để mô phỏng cho một hệ thống 1 . Trong đó phương pháp cuối cùng tuy cho kết quả với độ tin cậy và chính xác cao nhưng phải trả giá về sự đòi hỏi và chiếm dụng tài nguyên rất lớn vì vậy phương pháp này thường ít được sử dụng trong đánh giá hiệu năng. Phương pháp sử dụng mạng hàng đợi với nền tảng là lý thuyết xếp hàng và luật Little do chi phí thấp việc mô phỏng đơn giản trở nên rất hữu dụng đối với các hệ thống không phức tạp đòi hỏi độ chính xác của kết quả phân tích không cao. Đối với các hệ thống phức tạp do khả năng hạn chế trong việc biểu diễn các quan hệ tương tranh concurrency đồng bộ synchronization cũng như các hoạt động nội tại của server nên phương pháp sử dụng mạng hàng đợi không đáng tin cậy. Trong bối cảnh đó phương pháp sử dụng mạng Petri để mô phỏng hệ thống sau đó trên cơ sở phân tích cây trạng thái được thể hiện
