Перехід називається активним (живим) в заданому початковому маркуванні , якщо для будь-якого маркування , досяжного з можна вказати ланцюжок спрацьовувань переходів, який призводить до порушення переходу . Ця властивість має важливе значення при дослідженні проблем зависання, зациклення і блокування процесів і можливості завершення процесу. Мережа називається активною в заданому початковому маркуванні μ0, якщо активні (живі) всі її переходи. Процес функціонування мереж Петрі Процес функціонування мережі Петрі задається наступними двома правилами: