מודל מופשט, רשמית של זרימת מידע, מציג מאפיינים סטטיים ודינאמיים של מערכת. פטרי A נטו מיוצגת בדרך כלל גרף שיש שני סוגים של בלוטות (נקרא מקומות ומעברים) מחוברים על-ידי קשתות, סימנים (נקרא אסימונים) המציין מאפיינים דינאמיים.