| Russian | English |
| анализ последовательности событий | event sequence analysis (ssn) |
| анализ производительности с помощью анализа последовательности событий | performance analysis using event sequence analysis (см. Designing Concurrent, Distributed, and Real-time Applications with UML Object Technology Series by Hassan Gomaa ssn) |
| более сложные последовательности событий | more complex 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) |
| возможные последовательности событий | possible sequences of events (ssn) |
| время выполнения более сложных последовательностей событий | execution times for more complex sequences of events (ssn) |
| время управления последовательностью событий | time to control the sequence of events (ssn) |
| вся необходимая информация для определения возможных последовательностей событий | all necessary information to define the possible sequences of events (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) |
| Выполнение сети Петри или поведение моделируемой системы рассматривается здесь как последовательность дискретных событий | Petri net execution and the system behavior which it models is viewed here as a sequence of discrete 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) |
| независимость от времени управления последовательностью событий | not depending on a notion of time to control the sequence of events (ssn) |
| определённая последовательность событий | specific sequence of events (ssn) |
| последовательности событий | events sequences (ssn) |
| последовательности событий | sequences of events (ssn) |
| последовательность возникновения событий | sequence of events occurred (ssn) |
| последовательность дискретных событий | sequence of discrete events (ssn) |
| последовательность определённых событий | sequence of events of interest (ssn) |
| последовательность определённых событий, характеризуемых вводами в систему | sequence of events of interest characterized by inputs to the system (ssn) |
| последовательность предыдущих событий | sequence of previous events (ssn) |
| последовательность событий | events sequence (ssn) |
| последовательность событий в компоненте или системе | sequence of events of a component or system (ssn) |
| последовательность событий клавиатуры | keyboard event sequence (ssn) |
| Протоколом поведения процесса называется конечная последовательность символов, фиксирующая события, в которых процесс участвовал до некоторого момента времени | 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) |
| прямо противоположная последовательность возникновения событий | exactly the opposite sequence of events occurred (ssn) |
| реакция на определённое событие зависит от последовательности предыдущих событий | response to a particular event depends on the sequence of previous events (ssn) |
| Структура сети Петри такова, что содержит в себе всю необходимую информацию для определения возможных последовательностей событий | the Petri net structure itself contains all necessary information to define the possible sequences of events |
| фиксированная последовательность определённых событий, характеризуемых вводами в систему | fixed sequence of events of interest characterized by inputs to the system (ssn) |
| этот вид анализа также может использоваться для определения времени выполнения более сложных последовательностей событий | 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) |
