Thế hệ con đường
từ một tập hợp các đồ thị, máy phát điện và ngăn chặn các điều kiện, GraphWalker sẽ tạo ra một con đường thông qua các đồ thị.
Thiết kế thử nghiệm Model-Based của bạn bao gồm 1 hoặc nhiều đồ thị. Mỗi đồ thị sẽ có một tập riêng của nó (s) máy phát điện và ngăn chặn các điều kiện (s). Chỉ khi tất cả các điều kiện dừng cho tất cả các máy phát điện trong tất cả các đồ thị được hoàn thành, các thế hệ của con đường được thực hiện.
đang được dịch, vui lòng đợi..
