ЛАСТОЧКИН МИХАИЛ ИВАНОВИЧ

  Изобретение относится к области вычислительной техники, может быть использовало при моделировании сетей и позволяет определять тупиковые разметки в сетях Петри. Для этого в состав устройства введены модели вершин (мест), модели переходов, соединенные согласно топологии сети, и блок управления. После загрузки начальной разметки блок управления выбирает случайным образом переход из...

  Изобретение относится к вычислительной технике и может быть использовано для исследования сетей Петри с ингибиторными (инверсными) дугами. Цель изобретения - расширение функциональных возможностей за счет определения тупиковых разметок в сетях Петри с ингибиторными дугами - достигается тем, что в устройство дополнительно введена группа моделей переходов 37 с входами для ингибитор...