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

Короткая ссылка: 20190823BB

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

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.