| Russian | English |
| вторая позиция заказа | second line item (ssn) |
| если действием некоторого перехода будет действие только одного из двух процессов, то для каждой позиции второго временного автомата в параллельной композиции будет совместный переход | if the action of a transition is only an action of one of the two processes, then there will be a transition in the parallel composition for each location of the other timed automaton (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| Исходные и целевые позиции таких переходов будут получены из исходных и целевых позиций рассматриваемого перехода и позиции второго автомата | the source and target locations of these transitions will be obtained from the source and target locations of the original transition and the location from the other automaton (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
| я беру со склада первую позицию заказа, печатаю счёт, беру вторую позицию заказа, кладу счёт в конверт и т.д. | I grab the first line item from stores, type up the invoice, grab the second line item, put the invoice in an envelope, and so forth. (см. "UML Distilled: A Brief Guide to the Standard Object Modeling Language, Third Edition" by Martin Fowler 2003 ssn) |
