Анотація, формальні моделі інформаційних потоків, показані статичних і динамічних властивостей системи. A Петрі є зазвичай Графова маючи два типи вузлів (називається місць та переходи) по Дуг і маркування (звані жетони) із зазначенням динамічних властивостей.