Программные генераторы моделей в форме сетей Петри (Татьяна Шмелева, LVEE-2019)

Материал из 0x1.tv

Докладчик
Татьяна Шмелева.jpg
Татьяна Шмелева

Petri net models of variable size having definite structure are characteristic for manifold application domains such as networking and high performance computing, manufacturing control, and structural biology. A formalism of infinite Petri nets allows us to specify suchlike systems. Though models of definite size are of some interest for illustrative purposes. Moreover, an inductive technique for drawing conclusions on an infinite model properties is based on a sequence of models with growing size. A technique of composing programs in C language which generate Petri net models is developed, a dozen of generators implemented and available via GitHub as open source software. Models are represented either in graphical format for 2D case or in logical format for higher number of dimensions.

Видео

on youtube

Презентация

Программные генераторы моделей в форме сетей Петри (Татьяна Шмелева, LVEE-2019).pdf Программные генераторы моделей в форме сетей Петри (Татьяна Шмелева, LVEE-2019).pdf Программные генераторы моделей в форме сетей Петри (Татьяна Шмелева, LVEE-2019).pdf Программные генераторы моделей в форме сетей Петри (Татьяна Шмелева, LVEE-2019).pdf Программные генераторы моделей в форме сетей Петри (Татьяна Шмелева, LVEE-2019).pdf Программные генераторы моделей в форме сетей Петри (Татьяна Шмелева, LVEE-2019).pdf Программные генераторы моделей в форме сетей Петри (Татьяна Шмелева, LVEE-2019).pdf Программные генераторы моделей в форме сетей Петри (Татьяна Шмелева, LVEE-2019).pdf Программные генераторы моделей в форме сетей Петри (Татьяна Шмелева, LVEE-2019).pdf Программные генераторы моделей в форме сетей Петри (Татьяна Шмелева, LVEE-2019).pdf Программные генераторы моделей в форме сетей Петри (Татьяна Шмелева, LVEE-2019).pdf Программные генераторы моделей в форме сетей Петри (Татьяна Шмелева, LVEE-2019).pdf Программные генераторы моделей в форме сетей Петри (Татьяна Шмелева, LVEE-2019).pdf Программные генераторы моделей в форме сетей Петри (Татьяна Шмелева, LVEE-2019).pdf Программные генераторы моделей в форме сетей Петри (Татьяна Шмелева, LVEE-2019).pdf Программные генераторы моделей в форме сетей Петри (Татьяна Шмелева, LVEE-2019).pdf Программные генераторы моделей в форме сетей Петри (Татьяна Шмелева, LVEE-2019).pdf Программные генераторы моделей в форме сетей Петри (Татьяна Шмелева, LVEE-2019).pdf Программные генераторы моделей в форме сетей Петри (Татьяна Шмелева, LVEE-2019).pdf Программные генераторы моделей в форме сетей Петри (Татьяна Шмелева, LVEE-2019).pdf Программные генераторы моделей в форме сетей Петри (Татьяна Шмелева, LVEE-2019).pdf Программные генераторы моделей в форме сетей Петри (Татьяна Шмелева, LVEE-2019).pdf Программные генераторы моделей в форме сетей Петри (Татьяна Шмелева, LVEE-2019).pdf Программные генераторы моделей в форме сетей Петри (Татьяна Шмелева, LVEE-2019).pdf Программные генераторы моделей в форме сетей Петри (Татьяна Шмелева, LVEE-2019).pdf Программные генераторы моделей в форме сетей Петри (Татьяна Шмелева, LVEE-2019).pdf Программные генераторы моделей в форме сетей Петри (Татьяна Шмелева, LVEE-2019).pdf Программные генераторы моделей в форме сетей Петри (Татьяна Шмелева, LVEE-2019).pdf Программные генераторы моделей в форме сетей Петри (Татьяна Шмелева, LVEE-2019).pdf

Thesis

Программные генераторы моделей в форме сетей Петри (Татьяна Шмелева, LVEE-2019)!.jpg

Примечания и ссылки

Plays:103   Comments:0