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.

    В работе рассмотрены принципы формального представления дискретных систем и их моделей. Даны определения прямого, обратного и взаимного подобия между системой и ее моделью. Кратко описана структура формальных средств и их эволюция. Предложена новая версия сетей для моделирования сложных дискретных систем с асинхронным взаимодействием компонентов.

    У роботі розглянуті принципи формального представлення дискретних систем та їх моделей. Дано визначення прямої, зворотної і взаємної подібності між системою та моделлю. Коротко описана структура формальних засобів та їх еволюція. Запропоновано нову версію мереж для моделювання складних дискретних систем з асинхронною взаємодією компонентів.


    Access

    Download


    Export, share and cite



    Title :

    FORMAL TOOLS FOR SIMULATION OF COMPLEX DISCRETE SYSTEMS.
    ФОРМАЛЬНЫЕ СРЕДСТВА МОДЕЛИРОВАНИЯ СЛОЖНЫХ ДИСКРЕТНЫХ СИСТЕМ.
    ФОРМАЛЬНІ ЗАСОБИ ДЛЯ МОДЕЛЮВАННЯ СКЛАДНИХ ДИСКРЕТНИХ СИСТЕМ


    Contributors:


    Publication date :

    2007-08-25


    Remarks:

    Science and Transport Progress ; No. 17 (2007): ISSUE 17; 156-161



    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    Russian