DictionaryForumContacts

   Russian
Terms for subject Programming containing определение последовательности | all forms
RussianEnglish
вся необходимая информация для определения возможных последовательностей событийall necessary information to define the possible sequences of events (ssn)
определение правдоподобия появления последовательностейdetermine the likelihood of sequences occurring (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)