Regular Petri net with finite marking

Материал из WikiGrapp

Regular Petri net with finite marking --- регулярная конечноразмеченная сеть Петри.