Федорус Олексій МстиславовичПучко-Колесник Микола2023-10-092024-05-142023-10-092023Пучко-Колесник М. Синтез комбінаційних схем та кінцевих автоматів. мережа Петрі : кваліфікаційна робота … магістра : 122 Комп’ютерні науки / Пучко-Колесник Микола. – Київ, 2023. – 45 с.https://ir.library.knu.ua/handle/123456789/4976У роботі було розглянуто питання спрощення та синтезу дискретних двійкових пристроїв з 'пам'яттю' і без неї, а також проаналізовано мережу Петрі, що моделює конкретний виробничий процес та в кожному розділі зроблено відповідні висновки щодо самого процесу. Була розглянута мінімізація булевих функцій, заданих у вигляді СДНФ, за допомогою двох різних способів: карт Карно та методу склеювання Квайна – МакКласкі. Отримані у вигляді мінімізованих ДНФ функції були приведені до базисів, що складаються лише з однієї функції: І – НЕ та АБО – НЕ, а потім реалізовані у вигляді комбінаційних схем на відповідних логічних елементах. Був заданий за умовою у функціональному вигляді кінцевий автомат було мінімізовано за кількістю станів. Для отриманого автомата було збудовано граф станів. Потім, перейшовши до двійкового подання вхідних, вихідних сигналів і сигналів стану, в автоматі були виділені елементи пам'яті і комбінаційна частина, яка була мінімізована за кількістю змінних. Автомат був реалізований у базисі І – АБО – НЕ з використанням D – тригера та затримки. Була проаналізована задана мережа Петрі за допомогою двох способів: матричного та заснованого на побудові дерева покриваності, а також написана програма для її моделювання. Ключові слова : мережа Петрі, синтез дискретних двійкових пристроїв.uaМагістерська робота