Предложены модели тестирования композиций сетей Петри, позволяющие строить процедуры тестирования для произвольных структур сетей Петри. Модели основаны на анализе реализуемого и транслируемого тестового поведения сетей Петри, включающего идентификацию опорных позиций.
The test models for Petri nets formulations, enabling to compose the test procedures for arbitrary structures of Petri nets are proposed. The models are based on the analysis of implemented and broadcasted test behavior of Petri nets, which includes the identification of the reference positions.
