Abstrak, formal model arus informasi, menampilkan sifat statis dan dinamis sistem. A Petri bersih biasanya digambarkan sebagai sebuah grafik yang memiliki dua jenis node (disebut tempat dan transisi) terhubung oleh busur, dan tanda-tanda (yang disebut token) menunjukkan sifat dinamis.