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