In the paper principles of formal representation of discrete systems and their models are considered. Definitions of straightforward similarity, back similarity and bisimilarity between systems and their models are given. The structure of formal means and their evolution is briefly described. The new version of networks for modeling complex discrete systems with asynchronous interaction of components is offered.
В работе рассмотрены принципы формального представления дискретных систем и их моделей. Даны определения прямого, обратного и взаимного подобия между системой и ее моделью. Кратко описана структура формальных средств и их эволюция. Предложена новая версия сетей для моделирования сложных дискретных систем с асинхронным взаимодействием компонентов.
У роботі розглянуті принципи формального представлення дискретних систем та їх моделей. Дано визначення прямої, зворотної і взаємної подібності між системою та моделлю. Коротко описана структура формальних засобів та їх еволюція. Запропоновано нову версію мереж для моделювання складних дискретних систем з асинхронною взаємодією компонентів.
FORMAL TOOLS FOR SIMULATION OF COMPLEX DISCRETE SYSTEMS.
ФОРМАЛЬНЫЕ СРЕДСТВА МОДЕЛИРОВАНИЯ СЛОЖНЫХ ДИСКРЕТНЫХ СИСТЕМ.
ФОРМАЛЬНІ ЗАСОБИ ДЛЯ МОДЕЛЮВАННЯ СКЛАДНИХ ДИСКРЕТНИХ СИСТЕМ
2007-08-25
Science and Transport Progress ; No. 17 (2007): ISSUE 17; 156-161
Article (Journal)
Electronic Resource
Russian
Metadata by SPU is licensed under CC BY 3.0
Геометрія С-простору та її використання для моделювання й організації складних систем
DOAJ | 2003
|Scientific Periodicals of Ukraine | 2007
|