Anda di halaman 1dari 5

Nama : Suwandi

Nim : 07.111.0209
Kelas : TI-A Sore

PETRI NET

PETRI NET pertama kali diperkenalkan pada tahun 1966 untuk menggambarkan
sistem bersamaan. PETRI NET merupakan sebuah alat yang digunakan untuk pemodelan
dan analisis sitem computer. PETRI NET juga menyediakan tool grafis untuk spesifikasi
formal sistem.

Komponen – komponen pada PETRI NET yaitu :


1. Place: digunakan untuk mewakili komponen sistem.
2. Transisi : menggambarkan kejadian yang dapat mengakibatkan pada state
yang berbeda.
3. Laras (arc) : mewakili hubungan yang ada antara transisi dengan place.
4. Token : digunakan untuk menentukan keadaan dan menandai PETRI NET.

PETRI NET di gambarkan secara grafik dan mempunyai notasi. Jumlah notasi
pada PETRI NET ada 5 yaitu : M = (P, T, I, O, MP)
Adapun beberapa definisi dari PETRI NET adalah :
1. Dual of a PN: transisi berubah menjadi place dan place berubah menjadi transisi.

2. Inverse of a PN: Laras input berubah menjadi output dan laras output berubah
menjadi input.

3. Next-state function: the single state change of PN.

{t}: kumpulan semua transisi enabled.


Jika terdapat sebuah transisi yang disable, maka fungsi ini tidak dapat dipakai.

4. Inhibitor: sebuah fungsi yang berhubungan antara place dengan transisi.


Ketika tempat p2 memiliki token, transisi t2 tidak dapat menembakkan token
tersebut. Bahkan jika semua input terpenuhi dan transisi dinyatakan aktif H{t2} =
{p2}.
Petri net sekarang diwakili 6 notasi : M=(P,T,I,O,N,H)

Beberapa sifat dari PETRI NET :


• Reversibility: diberikan pada state awal PETRI NET, µ , dapat kembali ke
state asal, µ , pada waktu yang terbatas.

• Deadlock : hal ini terjadi jika sebuah PETRI NET mendapatkan jalan buntu
dimana tidak ada transisi yang aktif.

• Live Petri net: jika terdapat transisi yang diaktifkan.


• K-place bounded: untuk semua tempat yang ada dijaringan adanya k atau
kurangnya token pada setiap place untuk semua kemungkinan state yang ada
pada jaringan.
• Mutual exclusion: didefinisikan untuk place dan transisi.

TIME PETRI NET

Dalam setiap sistem nyata suatu kegiatan tidak memakan waktu terbatas untuk
melakukan operasinya. Menambahkan waktu ke Petri net memberikan modeler PETRI
NET dengan tool lain yang sangat penting untuk mempelajari kinerja sistem komputer.
TIME PETRI NET dikaitkan dengan beberapa komponen yaitu :
• transitions
• selection of paths
• waiting in places
• Inhibitors

Semantik dari tembakan : Ketika token diperlukan tiba, transisi menjadi diaktifkan waktu
periode timer jam diatur dan dimulai menghitung mundur. Setelah timer mencapai 0,
transisi melakukan tembakan, memindahkan (s) token untuk menempatkan pada output.
Contoh umum dari TIME PETRI NET adalah machine learning, penggunaan dalam
restaurant dan lain sebagainya.

COLOUR PETRI NET

Ini menambahkan dimensi lain untuk token serta criteria seleksi yang digunakan
dalam menentukan menembak dengan penambahan jenis token yang berbeda.
Kardinalitas dari himpunan token adalah himpunan semua warna mungkin bagi token.
Token ini berbeda maka dapat digunakan untuk menentukan transisi dari beberapa
transisi yang tersedia dapat beroperasi.
Mekanisme untuk mengasosiasikan penundaan, menembak acak exponensial di
distribusikan dengan transisi waktunya. Tingkat atau fungsi berat transisi W (tk, μ).
Untuk setiap transisi suatu state.

Contoh umum COLOR PETRI NET adalah komunikasi protocol, sistem yang
terdistribusi dan lain sebagainya.