Now showing items 1-1 of 1

    • VERIFICATION OF SQUARE COMMUNICATION GRID PROTOCOLS VIA INFINITE PETRI NETS 

      Shmeleva, T.R.; Шмельова, Т.Р.; Шмелёва, Т.Р.; Zaitsev, D.A.; Зайцев, Д.А.; Зайцев, Д.А.; Zaitsev, I.D.; Зайцев, І.Д.; Зайцев, И.Д. (European Technology Institute, 2009)
      A technique of the linear invariants calculation for infinite Petri nets with the regular structure is presented and studied on the example of square communication grids of an arbitrary size. It is proven that the compulsory ...