Модели тестирования для композиций сетей Петри

Мартынюк, А. Н.; Васим, Аль Шариф

eONPUIR
→
Інститут комп'ютерних систем
→
Кафедра комп’ютерних інтелектуальних систем та мереж
→
Статті каф. КІСМ
→
Посмотреть элемент

dc.contributor.author	Мартынюк, А. Н.
dc.contributor.author	Васим, Аль Шариф
dc.date.accessioned	2018-01-02T18:14:58Z
dc.date.available	2018-01-02T18:14:58Z
dc.date.issued	2013
dc.identifier.citation	Мартынюк, А. Н. Модели тестирования для композиций сетей Петри / А. Н. Мартынюк, Аль Шариф Васим // Холодильна техніка та технологія. - 2013. - № 2. - С. 84-87.	en
dc.identifier.issn	0453-8307
dc.identifier.uri	http://nbuv.gov.ua/UJRN/htit_2013_2_18
dc.identifier.uri	http://dspace.opu.ua/jspui/handle/123456789/6657
dc.description.abstract	Предложены модели тестирования композиций сетей Петри, позволяющие строить процедуры тестирования для произвольных структур сетей Петри. Модели основаны на анализе реализуемого и транслируемого тестового поведения сетей Петри, включающего идентификацию опорных позиций.	en
dc.description.abstract	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.	en
dc.language.iso	ru	en
dc.subject	Сети Петри	en
dc.subject	Композиции	en
dc.subject	Идентификаторы	en
dc.subject	Тестирование	en
dc.subject	Petri Nets	en
dc.subject	Formulations	en
dc.subject	Identifiers	en
dc.subject	Tests	en
dc.title	Модели тестирования для композиций сетей Петри	en
dc.type	Article	en
opu.kafedra	Кафедра комп’ютерних інтелектуальних систем та мереж
opu.citation.journal	Холодильна техніка та технологія = Холодильная техника и технология = Refrigeration engineering and technology	en
opu.citation.firstpage	84	en
opu.citation.lastpage	87	en
opu.citation.issue	№ 2. - С. 84-87	en
opu.staff.id	martynyuk@opu.ua	en