Abstraktne, formaalne mudel teabevoo, nähtaval süsteemi staatilisi ja dünaamilisi omadusi. A Petri neto on tavaliselt esindatud graafik, millel on kahte tüüpi sõlmede (nn kohti ja üleminekud) ühendatud kaari ja märgistuse (nn märkide) Dünaamilised omadused.