SKS : 3
Jika Anda tidak bisa mematuhi instruksi di atas, maka bisa dianggap sebagai tindakan
menyontek atau tidak jujur dan akan dicatat sebagai aktivitas yang mencurigakan.
UNIVERSITAS MERCU BUANA
FAKULTAS . Ilmu Komputer
PROGRAM STUDI . Sistem Informasi
Mutiset pada Petri nets(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.
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.
1
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.