Zubarev A. The Сomparison of equivalences of dense-time Petri nets with respect to memory policies // # 24, 2024
