Vấn đề chính với việc sinh đồ thị đạt được nằm ở nỗ lực tính toán và không gian bộ nhớ cần thiết. Để khắc phục xung đột giữa yêu cầu thực thi nhanh chóng với mong muốn sử dụng ít không gian bộ nhớ, TimeNET cung cấp hai biến thể của thuật toán: thời gian hiệu quả và không gian hiệu quả. Cả hai biến thể này đều tạo đồ thị đạt được rút gọn sau khi chia mạng thành nhiều mạng con bằng cách loại bỏ các timed transition. Timed transition tạo một rào cản giữa các mạng con của immediate transition.
Yêu cầu về bộ nhớ khi tạo đồ thị đạt được là không vượt quá bộ nhớ có sẵn. Điều này cản trở việc tính toán của một số mô hình. Một phương pháp đề xuất dùng để ước tính bộ nhớ yêu cầu để thực hiện việc tạo đồ thị đạt được, kết quả đưa ra ước tính về bộ nhớ. Nếu ước tính đưa ra vượt quá bộ nhớ có sẵn thì sử dụng phương pháp không gian hiệu quả.
Phương pháp thời gian hiệu quả tính toán và lưu trữ các đường dẫn kích hoạt từ hình thái vô hình con đến hình thái hữu hình con đạt được của nó cùng với các xác suất liên quan. Bộ nhớ yêu cầu của đồ thị đạt được của mạng con được giải phóng ngay sau khi mạng con này hoàn thành xử lý nên sử dụng không gian bộ nhớ ít hơn đáng kể,
Ngoài ra, thuật toán sử dụng trong công cụ còn sử dụng kích hoạt độc lập immediate transition, nhờ vậy làm giảm số chuỗi kích hoạt có thể trong khi kiểm tra hình thái vô hình con. Phương pháp này chỉ áp dụng trong mạng không có nhầm lẫn, vì các hành vi sau đó của mô hình sẽ không phụ thuộc vào thứ tự kích hoạt của immediate transition enable trong hình thái cho trước.