XÂY DỰNG VÀ THỬ NGHIỆM ĐÁNH GIÁ HIỆU NĂNG PHẦN MỀM DỰA TRÊN KỸ THUẬT BIẾN ĐỔI BIỂU ĐỒ TRÌNH TỰ THÀNH QUEUEING PETRI NETS