Мережі з пріоритетами — додають до дозволених переходів пріоритети і тим самим дозволяють понизити недетермінованість спрацьовувань, обмежуючи безліч дозволених переходів групою переходів з найвищим пріоритетом. Властивості мереж Петрі Для дослідження різних варіантів можливого розвитку обчислювального процесу на мережевій моделі вводяться поняття деяких властивостей мереж Петрі.