Аннотация:
Дается обзор определений временных сетей Петри (ВСП), известных из литературы, вводится базовая ВСП, такая, что основные известные типы ВСП являются ее частными случаями, а другие легко к ней сводятся при помощи введенного в работе понятия моделируемости множества одних ВСП множеством других ВСП. Вводится понятие класса базовых ВСП, и выясняются взаимоотношения классов базовых ВСП в смысле моделируемости, а также рассматривается вопрос о вычислительных возможностях ВСП без учета времени.