Абстрактный, формальное модель потока информации, показаны статические и динамические свойства системы. Петри обычно представлены как граф наличие двух типов узлов (называемых места и переходы) соединены дуги и маркировка (называемые маркеры) указанием динамических свойств.