Нечітка мережа Петрі задається 6-ма змінними: НМП = , де — кінцевий набір нечітких позицій, і з'єднання між позиціями можуть набувати будь-яких ненегативних натуральних значень. - кінцевий набір нечітких переходів. – нечітке відношення з маркуванням на або , зване ваговою функцією, яка показує вхідну величину на дузі від позиції до переходу або вихідну величину на дузі від переходу до позиції.