| |
Бушин, Д. И.
Компаративная трассовая семантика временных сетей Петри [Текст] / Д. И. Бушин, И. Б. Вирбицкайте
// Программирование. – 2015. – № 3. – С. 20-31.
Опредеяется и исследуется семейство трассовых эквивалентностей в интерливинговой, шаговой, частично упорядоченной и недетерминированной семантиках в контексте временных безопасных сетей Петри. |
