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

Ключові слова: атрибутні транзиційні системи, приховані переходи, допустимість, безпека та коректність систем.