Μια αφηρημένη, επίσημη μοντέλο της ροής πληροφοριών, προβολή στατικές και δυναμικές ιδιότητες ενός συστήματος. Α Petri δίχτυ είναι συνήθως να αναπαρασταθεί σαν γράφος έχοντας δύο τύπους κόμβων (που ονομάζεται θέσεις και μεταβάσεις) συνδέονται μεταξύ τους με τόξα, και σήμανση (που ονομάζεται μάρκες) δυναμικές ιδιότητες.