نموذج الرسمي، مجردة من تدفق المعلومات، وعرض الخصائص الثابتة والدينامية لنظام. عادة يتم تمثيل بيتري A صافي كرسم بياني وجود نوعين من العقد (وتسمى الأماكن وانتقالات) متصلة بواسطة الأقواس، وعلامات (تسمى الرموز المميزة) التي تشير إلى خصائص ديناميكية.