PETRI NET DENGAN KONFLIK DAN ALJABAR MAX PLUS PADA SISTEM TRANSPORTASI

ESTINA ROFIATUN, DR.ARI SUPARWANTO.M.Si.

2016 | Skripsi | S1 MATEMATIKA

Pada skripsi ini akan dibahas penyelesaian konflik model jaringan petri dengan tehnik aljabar max plus. Didefinisikan satu kebijakan rute yang memungkinkan untuk memecahkan dan menengahi konflik yang terkait dengan jaringan petri. Pada skripsi ini akan ditunjukkan cara memecahkan konflik semantik (semantic conflict) untuk mencegah kebuntuan dalam model grafis dan memperkenalkan fungsi rute ke dalam pemodelan jaringan transportasi umum.

In this final task, solving of conflicts of a Petri net model with techniques of (max, plus) algebra is considered. We define a routing policy which enables to solve and arbitrate the associated conflicts with a Petri net. We show how the conflict solving semantic prevents the deadlock in a graphical model while introducing routing functions into modelling. To illustrate the proposed results, a public transportation network is worked out. The aim is to analyze and evaluate the performance of a bus network which is represented by a Petri net with conflicts and a state model in (max, plus) algebra.

Kata Kunci : PETRI NET, NILAI EIGEN,ALJABAR MAX-PLUS