Vấn đề chính của các phương pháp phân tích là không gian trạng thái của mô hình. Mô hình thực tế luôn có xu hướng rất chi tiết và không gian trạng thái trở nên không thể quản lý được. Do đó, trong một số tình huống thì mô phỏng là cách tiếp cận duy nhất để đánh giá hiệu năng. Hơn nữa, thành phần mô phỏng có thể phục vụ như một công cụ để xác nhận phương pháp phân tích mới. TimeNET chứa thành phần mô phỏng để xử lý các mô hình phức tạp với thời gian kích hoạt phân phối không theo cấp số mũ.
Mô phỏng đi kèm với quá trình thiết kế và đánh giá mô hình SPN. Trong giai đoạn đầu của mô hình hóa thì một hỗ trợ mô phỏng tương tác là rất cần thiết để xác minh hành vi của mô hình. Tokengame của TimeNET thực hiện một thử nghiệm hoạt động của mô hình cũng như phục vụ gỡ lỗi.
Nói chung, một mô phỏng SPN được thực hiện qua các bước sau theo chu kỳ: - Tìm kiếm enable transition.
- Nếu immediate transition là enable: dựa vào mức ưu tiên và trọng số để chọn transition sẽ kích hoạt. Nếu timed transition là enable: dựa vào độ trễ kích hoạt để chọn transition.
- Kích hoạt transition được chọn và tính toán hình thái mới. - Cập nhật số liệu của phương pháp đo (nếu cần).
Phƣơng pháp thống kê
Thành phần mô phỏng bao gồm kỹ thuật thống kê để ước tính độ tin cậy và mạnh mẽ của phương pháp đo người dùng định nghĩa:
- Người dùng có thể xác định độ chính xác yêu cầu, sai số tối đa có thể chấp nhận trong kết quả.
- Các mẫu được đưa ra từ giai đoạn khởi tạo tức thời của mô phỏng sẽ đưa ra ngưỡng cho ước tính giá trị trung bình. Do đó, giai đoạn khởi tạo tức thời được phát hiện tự động, dữ liệu chỉ được lấy từ giai đoạn ổn định.
- Phân tích thống kê dữ liệu mẫu được thực hiện bằng cách phân tích phương sai đa dải.
- Độ dài thực hiện mô phỏng có thể xác định tự động, tuy nhiên cũng có thể đưa ra ngưỡng giới hạn chiều dài mô phỏng hay số mẫu cần đưa ra trong mô phỏng.