| English | Russian |
| A trace of the behaviour of a process is a finite sequence of symbols recording the events in which the process has engaged up to some moment in time | Протоколом поведения процесса называется конечная последовательность символов, фиксирующая события, в которых процесс участвовал до некоторого момента времени (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn) |
| all necessary information to define the possible sequences of events | вся необходимая информация для определения возможных последовательностей событий (ssn) |
| Events take variable amounts of time in real life, and this variability is reflected in the Petri net model by not depending on a notion of time to control the sequence of events | в реальной жизни различные события укладываются в различные интервалы времени, и это отражено в модели сети Петри независимостью от времени управления последовательностью событий (ssn) |
| exactly the opposite sequence of events occurred | прямо противоположная последовательность возникновения событий (ssn) |
| execution times for more complex sequences of events | время выполнения более сложных последовательностей событий (ssn) |
| finite sequence of symbols recording the events | конечная последовательность символов, фиксирующая события (ssn) |
| finite sequence of symbols recording the events in which the process has engaged up to some moment in time | конечная последовательность символов, фиксирующая события, в которых процесс участвовал до некоторого момента времени (ssn) |
| fixed sequence of events of interest characterized by inputs to the system | фиксированная последовательность определённых событий, характеризуемых вводами в систему (ssn) |
| input event: A distinct, repeatable event or fixed sequence of events of interest characterized by inputs or input sequence to the system | входное событие: отдельное воспроизводимое событие или фиксированная последовательность определённых событий, характеризуемых вводами или последовательностью вводов в систему (см. Black-box Testing: Techniques for Functional Testing of Software and Systems / Beizer, Boris 1995 ssn) |
| more complex sequences of events | более сложные последовательности событий (ssn) |
| not depending on a notion of time to control the sequence of events | независимость от времени управления последовательностью событий (ssn) |
| Petri net execution and the system behavior which it models is viewed here as a sequence of discrete events | Выполнение сети Петри или поведение моделируемой системы рассматривается здесь как последовательность дискретных событий (ssn) |
| possible sequences of events | возможные последовательности событий (ssn) |
| response to a particular event depends on the sequence of previous events | реакция на определённое событие зависит от последовательности предыдущих событий (ssn) |
| sequence of discrete events | последовательность дискретных событий (ssn) |
| sequence of events | последовательность этапов (напр., необходимых для полной обработки одного сообщения ssn) |
| sequence of events occurred | последовательность возникновения событий (ssn) |
| sequence of events of a component or system | последовательность событий в компоненте или системе (ssn) |
| sequence of events of interest | последовательность определённых событий (ssn) |
| sequence of events of interest characterized by inputs to the system | последовательность определённых событий, характеризуемых вводами в систему (ssn) |
| sequence of previous events | последовательность предыдущих событий (ssn) |
| sequences of events | последовательности событий (ssn) |
| specific sequence of events | определённая последовательность событий (ssn) |
| the Petri net structure itself contains all necessary information to define the possible sequences of events | Структура сети Петри такова, что содержит в себе всю необходимую информацию для определения возможных последовательностей событий |
| this kind of analysis can also be used to determine execution times for more complex sequences of events | этот вид анализа также может использоваться для определения времени выполнения более сложных последовательностей событий (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
| time to control the sequence of events | время управления последовательностью событий (ssn) |
