Предложены модели тестирования композиций сетей Петри, позволяющие строить процедуры тестирования для произвольных структур сетей Петри. Модели основаны на анализе реализуемого и транслируемого тестового поведения сетей ...