ASK4 1

Pendahuluan

Stochastic Jaringan aktivitas ( Stochastic activity networks) atau SAN, lebih tepatnya , bahasa grafik tingkat tinggi untuk menggambarkan prilaku sistem. SAN sangat membantu didalam penggambaran stochastic pada sistem.

Contoh :

-Banyaknya waktu sebuah program untuk mengeksekusi dapat dihitung dengan tepat jika semua faktor dikenal, tetapi ini hampir tidak mungkin dan kadang-kadang tidak membantu. Pada tingkatan yang lebih abstrak, kita dapat memperkirakan waktu runing dengan variabel acak.

- kesalahan kedatangan hampir selalu harus dimodelkan dengan sebuah proses acak.

Kita mulai dengan bagian SAN yaitu jaringan Petri.

ASK4 2

Firing Rules untuk SPN

Sebuah SPN mengeksekusi mengikuti aturan dibawah :

Sebuah transisi dikatakan enabled jika setiap tempat (place) dihubungkan dengan input busur, banyaknya token didalam tempat adalah >= banyaknya input busur yang terhubung ke tempat dan transisi.

Contoh:

Transisi T1 enabled

• Sebuah transisi boleh fire jika enabled

• jika sebuah transisi fire, untuk setiap input busur, sebuah token dihilangkan dari tempat penghubung dan untuk setiap output busur, sebuah token ditambahkan ke tempat penghubung.

contoh

Spesifikasi prilaku stochastic dari sebuah SPN

• Sebuah stochastic jaringan petri dibuat dari sebuah jaringan petri dengan :

-Memberikan sebuah distribusi waktu eksponensial untuk semua transisi. Waktu merepresentasikan ‘delay’ antara enabling dan firing dari sebuah transisi.

- transisi mengeksekusi secara paralel dengan distribusi delay independent.

ASK4 3

• Jika minimum dari beberapa eksponensial independent adalah eksponensial itu sendiri. Waktu antara tarnsisi firing adalah eksponensial.

• Jika sebuah transisi t antara enabled dan sebelum t fire, beberapa transisi lain fire dan merubah state (kondisi) SPN sehingga t tidak lebih panjang enabled, kemudian t batal, sehingga t tidak akan fire.

• Jika distribusi eksponensial tidak ada memori sama sekali, dapat dikatakan bahwa transisi yang merupakan sisa enabled terus atau kembali restrat, ini sangat tepat tanpa merubah prilaku jaringan.

Contoh SPN : membaca / menulis masalah

ASK4 4

ASK4 5

ASK4 6

ASK4 7

ASK4 8

ASK4 9

ASK4 10

ASK4 11

ASK4 12

ASK4 13

ASK4 14

ASK4 15

Model Composition

Sebuah komposisi model adalah jalan dari penghubung SAN yang berbeda ke bentuk sebuah model yang lebih besar.

Komposisi model mempunyai dua operasi :

-Replicate : kombinasi 2 atau lebih SAN yang identik , menahan tempat yang tepat diantara replica

-Join : kombinasi 2 atau lebih SAN yang berbeda, mengkombinasi tempat yang tepat untuk mengijinkan berkomunikasi;

ASK4 16

ASK4 17

ASK4 18

ASK4 19

ASK4 20

ASK4 21

ASK4 22

ASK4 23

ASK4 24