https://libeldoc.bsuir.by/handle/123456789/37530| Title: | Построение сокращенного графа достижимых состояний параллельного алгоритма |
| Authors: | Черемисинова, Л. Д. Черемисинов, Д. И. |
| Keywords: | материалы конференций;метод построения сокращенного графа;язык параллельных автоматов |
| Issue Date: | 2019 |
| Publisher: | БГУИР |
| Citation: | Черемисинова, Л. Д. Построение сокращенного графа достижимых состояний параллельного алгоритма / Л. Д. Черемисинова, Д. И. Черемисинов // Информационные технологии и системы 2019 (ИТС 2019) = Information Teсhnologies and Systems 2019 (ITS 2019) : материалы международной научной конференции, Минск, 30 октября 2019 г. / Белорусский государственный университет информатики и радиоэлектроники ; редкол. : Л. Ю. Шилин [и др.]. – Минск, 2019. – С. 98–99. |
| Abstract: | Рассматривается задача верификации систем управления с параллелизмом поведения на основе графа достижимых состояний. Показано, как можно существенно сократить сложность такого графа для систем рассматриваемого класса, и предложен метод построения сокращенного графа достижимых состояний. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/37530 |
| Appears in Collections: | ИТС 2019 |
| File | Description | Size | Format | |
|---|---|---|---|---|
| Cheremisinova_Postroyeniye.pdf | 366.64 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.