Мережі Петрі, є зручним засобом для моделювання різних процесів, систем та мереж. Вони мають такі важливі властивості, як недетермінованість та асинхронність. Мережі Петрі породжують мови, існує взаємозв’язок мов мереж Петрі та формальних мов, визначених ієрархією Хомського. Пропонується дослідити деякі властивості мов, які породжені мережами Петрі