Petri net

Petri net adalah salah satu model untuk merepresentasikan sistem terdistribusi diskret. Sebagai sebuah model, Petri net merupakan grafik 2 arah yang terdiri dari "place", "transition", dan tanda panah yang menghubungkan keduanya. Di samping itu, untuk merepresentasikan keadaan sistem, "token" diletakkan pada "place" tertentu. Ketika sebuah "transition" terpantik, "token" akan bertransisi sesuai tanda panah.