Мереж Петрі
3.2.3. Маркування мереж Петрі