Метою роботи є дослідження локально-паралельної реалізації моделі з використанням мереж Петрі. Об'єктом дослідження - імітаційна модель біологічної нейронної мережі. Предметом дослідження - апарат опису (формалізм представлення) моделі біологічної нейронної мережі на ординарних мережах Петрі c верифікацією безпеки придатний для реалізації на математичних пакетах наприкладі пакету MathCAD. Мета дослідження: розробка формального апарату описуімітаційної моделі біологічної нейронної мережі наординарних мережах Петрі з верифікацією безпеки, придатного до застосування при реалізації моделей наматематичних пакетах, на прикладі пакету. МОДЕЛЬ, МЕРЕЖІ ПЕТРІ, ОРДИНАРНІСТЬ, БЕСПЕКА, MATHCAD, ЛОКАЛЬНО-ПАРАЛЕЛЬНИЙ АЛГОРИТМ, БІОЛОГІЧНА НЕЙРОННА МЕРЕЖА The object of research is a simulation model of the discrete system on undistinguished Petri net with verification of safety. The subject of research is the description (the formalism of the presentation) of models of the discrete system on undistinguished Petri net with verification of safety suitable to realization in mathematical package on example of the package MathCAD. The purpose of this master's thesis consists in development of the formal description of simulation model of the discrete system on undistinguished Petri nets with verification of safety, aplicably to realization of the models on mathematical package, on example of the package MathCAD. The research method lies in using the computational modeling and mathematical programming, the comparison of research results with different input parameters. The scientific novelty of this work lies in the mathematical formalization of a discrete simulation model of undistinguished Petri net with verification of safety with reference to to realization on mathematical package, on example of the package MathCAD. MODEL, PETRI NETS, UNDISTINGUISHED PETRI NET, SAFETY, MATHCAD, BIOLOGICAL MODEL OF NEURAL NETWORK
