ПРОГРАМНИЙ ГЕНЕРАТОР МОДЕЛЕЙ ПЕТРІ ТРИКУТНИХ КОМУНІКАЦІЙНИХ ҐРАТОК

Анотація

У даній роботі надано програмний генератор моделей Петрі трикутних комунікаційних ґраток довільного розміру для верифікації протоколів телекомунікаційних систем з трикутною коміркою. Програмний генератор моделей Петрі написаний алгоритмічною мовою С, для генерації моделей ґраток використовується параметричний опис сітки Петрі, який базується на основних характеристиках моделі, таких як розмір ґратки, ємність буфера комутатора, кількість повідомлень у кожному буфері комутатора. Базовий елемент ґратки містить три порти, що працюють в повнодуплексному режимі, порти призначення зрізняться в моделі, введена обов'язкова буферизація й обмеження на розмір внутрішнього буфера комутатора. Тип вихідного формату формованого файла для подальшого дослідження ґратки надано в графічному форматі моделюючої системи Tina. Методика може бути використана в широкому діапазоні областей застосування сіток Петрі, включаючи автоматизацію виробництва, телекомунікації та програмування.