When a trace of M starts in an initial state, it is called an execution of M, with partial executions corresponding to non-maximal sequences of adjacent states starting in an initial state.
Khi một dấu vết của M bắt đầu trong một nhà nước ban đầu, nó được gọi là một thực hiện M, với một phần xử tử tương ứng với phòng không tối đa chuỗi liền kề kỳ bắt đầu từ một nhà nước ban đầu.
Khi một dấu vết của M bắt đầu ở trạng thái ban đầu, nó được gọi là một thực hiện M, với hành quyết một phần tương ứng với trình tự không cực đại của các quốc gia lân cận bắt đầu từ một trạng thái ban đầu.