Mô hình mạng Slam II bao gồm tập hợp các kí hiệu để chỉ hoạt động của hệ thống thực hiện nghiên cứu. Kí hiệu có thể được thay đổi thành một dạng đầu vào chương trình để phân tích mô hình sử dụng kỹ thuật mô phỏng. Đầu vào phản hồi tới mô hình đồ họa của Slam II trong hình thức trạng thái. Để cung cấp minh họa cho mô hình trạng thái, mô hình mạng biểu diễn được đưa ra hình t dưới thức trạng thái như bên dưới. Một dấu chấm phẩy được sử dụng để chỉ dữ liệu cuối cùng trên bản báo cáo cụ thể. Các chú thích có thể được đưa ra sau dấu chấm phẩy. Trình tự trạng thái phải phản hồi tới quá trình xử lý bộ đếm đối tượng khi nó qua mạng.
NETWORK; TRẠNG THÁI BẮT ĐẦU CỦA MẠNG CREATE,10.,7.; THỜI GIAN GIỮA CÁC LẦN ĐẾN ACTIVITY,3 THỜI GIAN TỚI NÚT QUEUE LÀ 3 QUEUE(10); SỬ DỤNG FILE 10 CHO HÀNG ĐỢI ACTIVITY(1)/3,9; THỜI GIAN PHỤC VỤ =9
TERMINATE,100; CHẠY MÔ HÌNH CHO 100 ĐỐI TƯỢNG ENDNETWORK; TRẠNG THÁI KẾT THÚC
Minh họa này chỉ phản ánh sự tương đồng của mô hình đồ họa và mô hình trạng thái được chấp nhận như đầu vào cho phân tích của máy tính. Trong phần sau, mô tả kí hiệu cơ bản Slam II và trạng thái được đưa ra.
Trước khi biểu diễn kí hiệu cơ bản Slam II và trạng thái, một vài chú thích theo thứ tự chung và di chuyển của đối tượng theo thứ tự này. Di chuyển của đối tượng theo các nhánh trong mạng. Tên nút được sử dụng để xác định di chuyển
40
không tiêu chuẩn của đối tượng. Trong trạng thái, tên nút được sử dụng như tên trạng thái giống như số trạng thái trong ngôn ngữ lập trình FORTRAN. Tên có thể được thêm vào bất cứ nút nào. Trên mô hình, chúng được đặt dưới kí hiệu của nút. Trên trạng thái, chúng được đặt trước tên nút. Tên nút hoặc trạng thái được bắt đầu trong hàng 7 hoặc sau trên báo cáo đầu vào, hoặc tên nút nếu yêu cầu được đưa ra theo hàng 1 đến 5 của báo cáo đầu vào.
2.3.3.1. Dẫn các đối tƣợng từ nút (nhánh)
Các đối tượng được dẫn dọc theo các nhánh phát ra từ nút. Số lượng nhánh lớn nhất M có thể được xác định nằm bên phải của nút thông qua giá trị gán cho M. Giá trị mặc định cho M là ∞. Khi M =1, một nhánh sẽ được chọn. Nếu xác suất được gán cho các nhánh phát ra từ một nút có M=1, sau nút được nói đến có nhánh xác suất. Nếu không có điều kiện hoặc xác suất được quy định cho nhánh và M bằng một số nhánh phát ra từ nút sau đó nhánh xác định được chỉ định. Nhánh xác định tạo một đối tượng được nhân đôi và dẫn qua nhánh phát ra từ nút.
Khái niệm nhánh đã quy định bởi giá trị của M. Nó cho phép dẫn các đối tượng qua tập hợp nhỏ của các nhánh theo điều kiện được quy đinh. Ví dụ, nếu M=2 và có 5 nhánh phát ra từ nút sau đó đối tượng có thể được dẫn qua 2 nhánh đầu theo điều kiện thỏa mãn.
Một trường hợp phức tạp bao gồm sự kết hợp của xác suất và nhánh điều kiện. Đặt pi là xác suất của việc dẫn đối tượng qua nhánh i và đặt cj là điều kiện cho dẫn đối tượng qua nhánh j, xem xét trường hợp sau :
41
Loại nút ở trên là nút GOON. Mỗi đối tượng đến nút GOON làm nó “giải phóng”. 2 phía của nút chỉ ra giá trị M. Câu lệnh cho nút này là GOON,M;
Đối với ví dụ này M=2 chỉ ra rằng 2 trong 5 nhánh được chọn. Giả thiết rằng các nhánh được đánh giá theo thứ tự 1,2,3,4 và 5, lựa chọn ngẫu nhiên giữa nhánh 1 và 2 sẽ được thực hiện (p1 + p2 phải bằng 1) sau đó nhánh 3 sẽ được chọn nếu điều kiện 3 (c3) được thỏa mãn. Nếu không, c4 được kiểm tra và sau đó c3. Nếu c3 được thỏa mãn, nhánh khác sẽ không được chọn ngay cả khi c3 và c4 đều thỏa mãn. Trong mô hình trạng thái, khi các nhánh phát ra từ nút, hoạt động mô tả trạng thái được diễn ra ngay sau nút mô tả trạng thái. Thứ tự trạng thái hoạt động xác định trình tự của điều kiện được đánh giá.
2.3.3.2. Trạng thái EQUIVALENCE cho các biến Slam II
Slam II cung cấp trạng thái EQUIVALENCE để tên có thể được sử dụng cho các biến Slam I trên mô hình mạng. Định dạng cho trạng thái EQUIVALENCE là : EQUIVALENCE/biến Slam II, tên/lặp lại;
Các biến có thể được sử dụng trong trạng thái EQUIVALENCE là ATRIB, II, XX, ARRAY, SS, DD và biến ngẫu nhiên Slam II hoặc giá trị hằng số. Tên có thể có lớn nhất 12 chữ bắt đầu với chữ cái.
Việc sử dụng tên cho biến Slam II trong mô hình mạng và trạng thái làm tăng tính tin cậy cho người không dùng Slam II. Đối với kinh nghiệm người dùng Slam II, hiểu biết các loại biến đang được sử dụng trong mô hình cung cấp thêm thông tin về cấu trúc của mô hình. Mức độ chi tiết của tên nằm trong mô hình nên phụ thuộc vào mô hình, người thiết kế và cách sử dụng nó trong mô hình. Cách sử dụng trạng thái EQUIVALENCE sẽ được giới thiệu ít nhất để hiểu cơ bản về cách sử dụng các đối tượng, các đặc tính, biến hệ thống, và hàm mẫu ngẫu nhiên.
Trạng thái EQUIVALENCE :
EQUIVALENCE/ATRIB(1), PROC_TIME; chỉ ra rằng tên PROC_TIME có thể được sử dụng bởi trạng thái sau:
Trạng thái này làm cho PROC_TIME được thu thập cho đối tượng đến, đó là ATRIB(1).
42
Trạng thái EQUIVALENCE phía dưới được sử dụng để chỉ ra INVENTORY có thể được sử dụng tại vị trí của biến hệ thống XX(1) và REORDER_PT cho XX(2).
EQUIVALENCE/XX(1), INVENTORY/XX(2), REORDER_PT/UNFRM(4,6), REVIEW TIME;
Ngoài ra, tên REVIEW TIME có thể được sử dụng trong hàm mẫu ngẫu nhiên UNFRM(4,6). Để minh họa cách sử dụng của những cân bằng này, trạng thái:
ACTIVITY, REVIEW TIME, INENTORY.LE.REORDER_PT;
xác định hành động là REVIEW TIME, đó là một mẫu từ một phân phối liên tục giữa 4 và 6, và điều kiện cho thực hiện các hoạt động là INVENTORY ≤ REORDER_PT;
2.3.3.3. Mảng trạng thái
Mảng trạng thái được sử dụng để khởi tạo 1 hàng của bảng hệ thống, mảng. Số lượng các yếu tố trong 1 hàng của mảng có thể thay đổi và do đó, bảng được phản ánh như một bảng không căn chỉnh. Dạng của mảng trạng thái là :
ARRAY(IROW,NELEMENTS)/các giá trị khởi tạo/lặp lại;
IROW là hằng số nguyên xác định hàng cho các giá trị khởi tạo được cung cấp; NELEMENTS là số lượng các yếu tố trong hàng này; và giá trị khởi tạo là hằng số được chèn vào theo thứ tự của cột. Ví dụ : trạng thái
ARRAY(2,4)/5,4,2,7.3;
xác định ARRAY(2,1)=5, ARRAY(2,2)=4, ARRAY(2,3)=2, và ARRAY(2,4)=7.3.
Các yếu tố của mảng có thể được đối chiếu trên mạng Slam II nơi biến của Slam II được cho phép. Các chỉ số của mảng có thể là hằng số hoặc biến của Slam II : II, XX(I, và ATRIB(I) với I là hằng số dương. Ví dụ, nếu một đối tượng có ATRIB(1) xác định như một loại công việc, ATRIB(2) là bước tiếp theo của công việc và ATRIB(3) là số máy cho bước tiếp theo của công việc và mảng bảng được tổ chức như số máy là giá trị trong bảng với mỗi hàng xác định bằng 1 loại công việc và mỗi cột bằng bước công việc:
43
ATRIB(3)= ARRAY(ATRIB(1),ATRIB(2))
phân số máy tới đặc tính 3 dựa trên loại công việc của đối tượng và giá trị của bước công việc hiện tại.
ARRAY có thể được sử dụng trong mối liên kết với trạng thái EQUIVALENCE để tạo ra mô hình dễ đọc hơn. Tiếp tục với ví dụ trên, Chúng ta sẽ cân bằng Loại công việc với ATRIB(1), Bước công việc với ATRIB(2) và Máy với ATRIB(3). Những cân bằng trên được chỉ ra theo trạng thái EQUIVALENCE:
EQUIVALENCE/ATRIB(1), Loại công việc/ ATRIB(2), Bước công việc/
ATRIB(3), Máy;
Với những cân bằng trên, chúng ta có thể thay thế : Máy=ARRAY(Loại công việc, Bước công việc)
Các yếu tố mảng kết nối từ người viết mã FORTRAN và từ trạng thái mạng. Chương trình con GETARY, PUTARY và SETARY được sử dụng để lấy giá trị của một yếu tố mảng: đặt hoặc chèn giá trị mới vào trong một yếu tố mảng và đặt một hàng mảng hoàn chỉnh.