Pendahuluan

Sebuah Petri net (juga dikenal sebagai tempat / net transisi atau P / net T) adalah salah satu dari beberapa bahasa pemodelan matematika untuk deskripsi sistem terdistribusi. Sebuah Petri net adalah grafik bipartit diarahkan, di mana node merupakan transisi (yaitu peristiwa yang mungkin terjadi, ditandai dengan batang), tempat (kondisi yaitu, ditandai dengan lingkaran), dan busur diarahkan (yang menggambarkan tempat-tempat yang merupakan pra-dan / atau postconditions untuk yang transisi, ditandai dengan panah). jala Petri diciptakan pada bulan Agustus 1939 oleh Carl Adam Petri – pada usia 13 – untuk tujuan menjelaskan proses kimia.

Seperti standar industri seperti diagram aktivitas UML, BPMN dan EPCs, jala Petri menawarkan notasi grafis untuk proses bertahap yang mencakup pilihan, iterasi, dan eksekusi konkuren.Tidak seperti ini standar, jala Petri memiliki definisi matematis pasti dari semantik eksekusi mereka, dengan teori matematika berkembang dengan baik untuk analisis proses.

Petri jaring dasar-dasar

Sebuah Petri net terdiri dari tempat, transisi, dan busur diarahkan. Busur lari dari tempat untuk sebuah transisi atau sebaliknya, tidak pernah diantara tempat-tempat atau antara transisi.Tempat dari mana sebuah busur berlari untuk transisi disebut tempat input transisi; tempat-tempat yang busur lari dari transisi disebut tempat keluaran transisi.  Tempat mungkin berisi sejumlah alami token. Sebuah distribusi token atas tempat jaring disebut menandai. Sebuah transisi dari Petri net dapat api setiap kali ada tanda di akhir semua busur input; ketika kebakaran, mengkonsumsi bukti tersebut, dan tempat-tempat tanda di akhir semua busur output. pembakaran adalah atom, yaitu sebuah langkah non-interruptible tunggal.

Pelaksanaan jala Petri adalah nondeterministic: ketika beberapa transisi akan diaktifkan pada saat yang sama, salah satu dari mereka mungkin api. Jika transisi diaktifkan, mungkin api, tapi tidak harus. Sejak pembakaran adalah nondeterministic, dan mungkin beberapa token hadir di mana saja (bahkan di tempat yang sama) bersih, Petri jaring sangat cocok untuk pemodelan perilaku bersamaan sistem terdistribusi.

Definisi formal dan terminologi dasar

Definisi formal berikut ini secara longgar didasarkan pada (Peterson 1981). Banyak alternatif definisi ada. Sebuah grafik Petri net (disebut Petri net oleh beberapa, tapi lihat di bawah) adalah 3-tupel, di mana
S adalah himpunan berhingga tempat
T adalah himpunan berhingga transisi
S dan T adalah memisah, yaitu objek tidak dapat menjadi tempat dan transisi adalah multiset dari busur, yakni mendefinisikan busur dan memberikan kepada setiap busur keserbaragaman sebuah integer non-negatif busur, perhatikan bahwa tidak ada busur dapat menghubungkan dua tempat atau dua transisi.  Hubungan arus adalah himpunan busur:. Dalam banyak buku teks, busur hanya dapat memiliki bermacam 1, dan mereka sering menentukan Petri jaring menggunakan F bukannya W.  Sebuah grafik Petri net adalah multidigraph bipartit dengan partisi node S dan T.  Preset dari t transisi adalah himpunan tempat input:; postset adalah himpunan tempat outputnya:. Definisi pre-dan postsets tempat yang analog.  Sebuah tanda dari Petri net (grafik) adalah multiset wilayah operasional, yaitu pemetaan. Kami mengatakan menugaskan untuk menandai setiap tempat sejumlah token.  Sebuah Petri net (disebut ditandai Petri bersih dengan beberapa, lihat di atas) adalah 4-tupel, di mana (S, T, W) adalah grafik Petri net;  M0 adalah tanda awal, tanda dari grafik Petri bersih.

Sumber ; http://en.wikipedia.org