Text this: Свойства бисимуляции разметок в ограниченных сетях Петри