## Perancangan Safety Shutdown System pada Kepala Sumur Minyak dengan Menggunakan Analisis Pemodelan Petrinet
Alfeus Leonardo, Endra Julianto, Sutanto Hadisupadmo Program Studi Teknik Fisika, Institut Teknologi Bandung
Jalan Ganesha 10 Bandung

## Abstrak
Dalam proses produksi minyak dan gas, kepala sumur memegang peranan penting, sebab jika terjadi masalah  di  kepala  sumur  akan  menggangu  produksi  minyak  dan  gas  serta  dapat  menyebabkan kegagalan  produksi.  Permasalahan  kegagalan  pada    kepala  sumur  dapat  diminimumkan  dengan memasang Safety  Shutdown  System . Safety  Shutdown  System merupakan  suatu  prosedur  untuk mematikan  operasi  kepala  sumur  dengan  aman  pada  saat  terjadi  masalah.  Oleh  karena  itu, perancangan Safety  Shutdown  System yang  baik  sangat  diperlukan  agar  tidak  terjadi blow  out di sumur.  Jala  Petri  Sinyal  Terinterpretasi  (JPST)  merupakan  suatu  pemodelan  sistem  diskrit  yang memberikan  informasi  tentang  struktur  dan  perilaku  dinamik  dari  sistem  yang  dimodelkan. Perancangan  menggunakan  pemodelan  JPST  bertujuan  untuk  menganalisis  suatu  sistem  sebelum mengimplementasikannya  di  lapangan.  Pemodelan Safety  Shutdown  System dengan  JPST  dapat meminimumkan waktu perancangan dan kegagalan safety system .
Pemodelan  JPST  dimulai  dengan  mengidentifikasi  semua  masukan  dan  keluaran  pada  sistem,  lalu menentukan  logika  masukan  pada  tiap  transisi  dan  daftar  keluaran  pada  setiap place .  Setelah  itu pemodelan  dilanjutkan  dengan  konstruksi  dan  analisis.  Hasil  analisis  pada  pemodelan  ini menunjukkan bahwa sistem memiliki sifat keselamatan, keterbatasan, daya hidup, dan didapat nilai transparansi  sebesar  0,86  dari  skala  1,  menunjukkan  bahwa  sistem  bersifat  transparan.  Setelah melakukan pemodelan JPST, dilakukan simulasi dengan cara menerjemahkan bentuk JPST ke dalam ladder diagram . Hasil ladder diagram yang diterjemahkan dari model JPST dan ladder diagram yang dibuat langsung  dari diagram logika memiliki hasil yang  sedikit berbeda. Karena dalam pemodelan JPST terdapat asumsi – asumsi ideal.
Kata Kunci: JPST, Ladder Diagram, Safety Shutdown System, kepala sumur

## 1 Pendahuluan
Dewasa ini perusahaan minyak dan gas bumi semakin berkembang pesat di dalam dunia bisnis,  hal  tersebut  menjadikan  suatu  tantangan  kepada  para engineer untuk  dapat mengoptimalkan  produksi  atau  tetap  dapat  menjaga  kestabilan  proses  dengan memberikan  perawatan  yang  lebih  baik  dan  efektif.  Dalam  produksi  minyak  dan  gas, kepala sumur memegang peranan penting, sebab jika terjadi masalah dalam kepala sumur hal  tersebut  akan  sangat  menggangu  produksi  minyak  dan  gas  dan  dapat  menyebabkan kegagalan produksi.
Permasalahan  tersebut  menjadi  latar  belakang  penelitian  ini  untuk  merancang  sistem kontrol pada kepala sumur yang lebih baik dari sistem yang ada saat ini untuk menghindari terjadinya kegagalan produksi yang disebabkan oleh kegagalan sistem.
2 Teori Dasar

## 2.1 Jala Petri Sinyal Terintepretasi (JPST)
JPST adalah suatu metode pemodelan sistem yang memberikan informasi tentang struktur dan  perilaku  dinamik  dari  sistem  yang  dimodelkan.  Informasi  ini  digunakan  untuk mengevaluasi  sistem  yang  dimodelkan  dan  memberikan  alternatif  perubahan  dan pengembangannya.  Salah  satu  keunggulan  JPST  adalah  menampilkan  secara  eksplisit kondisi-kondisi dimana kejadian dapat terpicu. JPST adalah pengembangan dari jala Petri sederhana yang dilengkapi deskripsi masukan dan keluaran dengan harga biner, 0 dan 1.

## 2.2 Sifat – Sifat JPST
JPST  memiliki  beberapa  sifat  yang  dapat  digunakan  untuk  menganalisis  perilaku  sistem, diantaranya  adalah  keselamatan  ( Safety ),  keterbatasan  ( Boundedness )  dan  daya  hidup ( Liveness ) serta ketercapaian ( Reachability ).

## 2.2.1 Keselamatan ( Safety )
Suatu place dalam  JPST  dikatakan safe (aman/selamat  secara  perangkat  lunak)  jika jumlah token dalam place tersebut tidak pernah lebih dari satu.
Suatu JPST dikatakan aman jika seluruh fungsi kondisi pemicuan JPST φ terdefinisi dengan baik dan keluaran JPST Ω bernilai benar, tanpa trivial dan bebas kontradiksi seperti telah dijelaskan sebelumnya.

## 2.2.2 Keterbatasan ( Boundedness )
Sifat  ini  merupakan  perluasan  dari  sifat  keselamatan.  Sifat  keterbatasan  mensyaratkan bahwa  jumlah token di  dalam  suatu place tidak  boleh melebihi  suatu  bilangan  integer  k. Pada sistem pemicuan berlaku seperti saklar ( on dan off ) maka k bernilai satu.

## 2.2.3 Daya Hidup ( Liveness )
Sifat  ini  menyatakan  kemampuan  suatu  transisi  untuk  menjadi  terpicu.  Jika  tidak  ada satupun transisi dalam JPST tersebut dapat terpicu maka Jala berada dalam keadaan yang disebut “terkunci” ( deadlock ).
JPST akan  disebut memiliki daya  hidup tak terbatas atau  berkesinambungan  jika  seluruh transisi  di  dalam  jala  tersebut  bebas  dari  keadaan  terkunci.  Inilah  salah  satu  hal  yang hendak dicapai pada perancangan sistem kontrol even diskrit.

## 2.2.4 Ketercapaian ( Reachability )
Himpunan ketercapaian ( Reachability Set/RS SIPN ) berfungsi untuk menggambarkan semua pengisian token pada place yang  mungkin  tercapai  berdasarkan  penandaan  keadaan awalnya. Dari RS JPST dapat diperoleh diagram ketercapaian ( Reachability Graph ) yang dapat dipakai untuk memprediksi kesinambungan sistem.
Penandaan  M  merupakan  vektor  kolom  (nx1)  yang  berisikan  penandaan place tertentu dengan token .  Ketika  suatu  transisi  tercapai  pada  suatu  penandaan  M,  penandaan  yang baru M’ dicapai menurut persamaan [1]:
M’(pi)=M(pi)+(OUTxN)-(INxN) ∀ pi ϵ P (1)
Dimana: IN : (PXT) merupakan sebuah fungsi masukan dari place ke transisi. OUT : (TXP) merupakan sebuah fungsi keluaran dari transisi ke place .
N merupakan sebuah fungsi sesaat yang memicu terjadinya perubahan penandaan.

## 2.2.5 Transparansi
Transparansi merupakan sifat untuk mengukur kefleksibelan dan kehandalan perancangan JPST. Perancangan yang transparan didefinisikan sebagai berikut :
1. Perancangan  harus  mudah  dan  jelas  untuk  mengamati  keadaan  sistem  yang  terjadi saat itu dan berikutnya.
2. Perancangan harus memiliki kemungkinan interpretasi algoritma yang lain
Ada 8 kriteria transparansi yang akan dijabarkan berikut [2]:
1. Komentar (#t 1 ), sebaiknya setiap place dan transisi memiliki komentar. Persamaan yang digunakan :
2. Masukan bukan trivial (#t2), sebaiknya tidak terdapat sinyal masukan  yang tidak mempengaruhi sistem kontrol.
Persamaan yang digunakan:
3. Keluaran  bukan  trivial  (#t3),  sebaiknya  tidak  terdapat  sinyal  keluaran  yang  diset sama setiap saat
Persamaan yang digunakan:
4. Keluaran  terdefinisi  (#t4),  sebaiknya  aksi  keluaran  benar  dan  bebas  dari kontradiksi.
Persamaan yang digunakan:
5. Keamanan  /  Safety  (#t5),  jika  token  pada  setiap  place  terbatas  jumlahnya. Persamaan yang digunakan:
6. Kesetaraan (#t6), sebaiknya arah busur mengikuti satu arah saja. Persamaan yang digunakan:
7. Perpotongan (#t7), sebaiknya tidak teralu banyak perpotongan garis busur Persamaan yang digunakan:
8. Penandaan Stabil (#t8), sebaiknya tidak ada penandaan transien atau tidak stabil pada Grafik Ketercapaian.
Persamaan yang digunakan:
Kedelapan kriteria tersebut kemudian dirata-ratakan untuk mendapatkan nilai transparansi bagi penandaan JPST.

## 2.3 Representasi JPST dalam Diagram Ladder
Pengkodean  algortima  JPST  pada  PLC  dilakukan  dengan  membuat  diagram  ladder  dan daftar instruksi berdasarkan JPST yang dimaksud.
Berikut  ini  tata  cara  penyusunan  daftar  instruksi  dan  diagram  ladder  berdasarkan  JPST yang bersangkutan [3].
1. Pengkodean transisi Ti: LD PP1 (* Ti: jika place awal pP1 tertandai *) AND PP2 (* jika place awal pP2 tertandai *) ………. ANDN Pp1 (* dan place tujuan Pp1 tidak tertandai *) ANDN Pp2 (* dan place tujuan Pp2 tidak tertandai *) ……… AND f(E) (* dan kondisi pemicuan terpenuhi *) 3. Pengkodean place Pi: LD Pi (* jika place Pi ditandai*) S Oi (* set Oi *) ………. R Oj (* dan reset Oj *) ……… Pj: LD Pj (* Jika place Pj ditandai *)

## 3 Perancangan Pengontrol Safety Shutdown System pada Kepala Sumur
Safety  Shutdown  System pada  kepala  sumur  adalah  suatu  prosedur safety untuk melakukan shutdown pada  kepala  sumur. Safety  Shutdown  System berfungsi  untuk mencegah  terjadinya  hal-hal  yang  dapat  merugikan,  seperti  terjadinya  kerusakan  pada instrument,  komponen-komponen  pada  kepala  sumur,  pipa,  dan  kemungkinan  terburuk bisa terjadi blow out. Maka dalam perancangan pengontrol untuk Safety Shutdown System harus dilakukan dengan baik untuk menghindari terjadinya hal-hal tersebut.

## 3.1 Representasi perancangan pada JPST
P1 T1 T2 T4 T3 T8 P2 P3 P4 P5 P9 P10 P11 P12 T9 T10 T11 P6 P7 P8 T 5 T 6 T 7 T12 P13 P14 T 13 T15 P16 T14 P15 T16 P17 P18 T17 T18 T19 T20 T21 T22 T23 T24 T25 T26 T27 T28 P1

## Gambar 1 Representasi perancangan JPST
Aksi keluaran pada tiap place (ω) direpresentasikan dengan (1) bila berada dalam kondisi terbuka atau aktif dan (0) bila kondisi keluaran sedang dalam kondisi tertutup atau tidak aktif. Di bawah ini merupakan tabel yang menunjukan daftar place dan aksinya.
Tabel 1 Daftar place dan aksinya No Place Definisi Aksi Keluaran Tiap Place ω (o1,o2,o3,o4,o5,o6,o7,o8,o9,.......,o22) p1 Idle (sistem berjalan normal) (0,0,0,0,0,0,0,1,0,1,1,1,1,1,1,1,1,1,0,1,1,1) p2 Emergency Shut Down 1 (0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0) p3 Emergency Shut Down 1.1 (0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0) p4 Shut Down 2 (0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,1,0,1,1,1) p5 Incomer CB'S of supplyby ORMAT'sterbuka (0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,1,1,1,0,1,1,1) p6 Choke Valve dalam keadaan tertutup (0,0,0,0,0,0,0,1,0,1,0,1,1,1,1,1,1,1,0,1,1,1) p7 Choke Valve dalam keadaan diam (0,0,0,0,0,0,0,1,0,1,1,0,1,1,1,1,1,1,0,1,1,1) p8 Export ESDV dalam keadaan tertutup (0,0,0,0,0,0,0,1,0,1,1,1,0,1,1,1,1,1,0,1,1,1) p9 Shut Down 2.Y (0,0,0,0,0,0,0,1,0,1,1,1,1,1,1,1,1,1,0,1,1,1) p10 Shut Down 3.53W (0,0,0,0,0,0,0,1,0,1,1,1,1,1,1,0,0,0,0,0,1,1) p11 Shut Down 3.Y.1 (0,0,0,0,0,0,0,1,0,1,1,1,1,1,1,1,1,1,0,1,0,1) p12 Shut Down 3.Y.2 (0,0,0,0,0,0,0,1,0,1,1,1,1,1,1,1,1,1,0,1,1,0) p13 Emergency Shut Down 1 (1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0) p14 Shut Down 2 dan preset time belum terpenuhi (0,0,0,0,0,0,0,1,0,1,1,1,1,1,1,1,1,1,0,1,1,1) p15 Suplai listrik terisolasi (0,0,0,0,0,0,0,1,1,0,1,1,1,1,1,1,1,1,0,1,1,1) p16 Shut Down 2.Y dan preset time telah dipenuhi (0,0,0,0,0,0,0,1,0,1,1,1,1,0,1,1,1,1,0,1,1,1) p17 Master Valve tertutup (0,0,0,0,0,0,0,1,0,1,1,1,1,1,0,0,0,0,0,0,1,1)

## 3.2 Mekanisme Perpindahan Proses yang  Terjadi
Pada  pemodelan Safety  Shutdown  System pada  kepala  sumur  ini  didefinisikan  berbagai keadaan  yang  ditunjukan  dengan  penandaan place oleh token .  Berikut  merupakan mekanime perpindahan token .
Tabel 2 Mekanisme perpindahan token T Place Asal Place Tujuan Logika Masukan T1 P1 P2,P3,P4,P8,P9,P10,P11,P12 T2 P1 P2,P3,P4,P5,P8,P9,P10,P11,P12 T3 P1 P3,P4,P9,P10,P11,P12 T4 P1 P4,P10 T5 P1 P6 T6 P1 P7,P14 T7 P1 P4,P8,P10 T8 P1 P9,P10,P11,P12 T9 P1 P10 T10 P1 P11 T11 P1 P12 T12 P2 P13 t = 30 detik T13 P14 P4,P10 t = 24 jam T14 P5 P15 t = 30 detik T15 P9 P16 t = 20 detik T16 P10 P17 t = 10 detik T17 P17 P18 t = 20 detik T18 P13,P3,P4,P8,P 16,P18,P11,P12 P1 T19 P13,P3,P4,P15, P8,P16,P18,P11 ,P12 P1 T20 P3,P4,P16,P18, P11,P12 P1 T21 P4,P18 P1 T22 P16,P18,P11,P1 2 P1 T23 P18 P1 T24 P11 P1 T25 P12 P1
T Place Asal Place Tujuan Logika Masukan T26 P6 P1 T27 P4,P7,P18 P1 T28 P4,P8,P18 P1

## 4 Analisis Pemodelan Dan Simulasi

## 4.1 Keselamatan ( Safety ) da Keterbatasan (Boundedness)
Sistem dapat dikatakan memenuhi sifat keselamatan karena tidak ada jumlah token yang lebih dari satu dalam suatu place

## 4.2 Transparansi
Setelah  didapati  seluruh  nilai  dari  kedelapan  kriteria,  maka  nilai  transparansi  untuk perancangan  JPST  ini  adalah  T=
dari  skala  1.  Hal  ini
menunjukan bahwa perancangan JPST ini bersifat transparan.

## 4.3 Daya Hidup
Dapat  dilihat  dari  diagram  ketercapaian  menunjukan  bahwa  setidaknya  terdapat  satu penandaan  yang  dapat  dicapai  dari  suatu  penandaan.  Dengan  demikian  mekanisme proses  pada  sistem  dapat  dikatakan  berkesinambungan  ( live )  atau  tidak  mengalami kebuntuan ( deadlock ).

## 4.4 Ketercapaian
Mo =(1,0,0,0,0,0,0,0,0,0,0,0,0) T Ω=(0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0) M1 =(0,1,1,1,0,0,0,1,1, 1,1,1,0,0,0,0,0,0) T Ω=(0,0,1,0,0,0,1,0,0,1,1,1,0,1,1,0,
0,0,0,0,0,0) M2 =(0,1,1,1,1,0,0,1,1, 1,1,1,0,0,0,0,0,0) T Ω=(0,0,1,0,0,0,1,0,1,0,1,1,0,1,1,0, 0,0,1,0,0,0) M3 =(0,0,1,1,0,0,0,0,1, 1,1,1,0,0,0,0,0,0) T Ω=(0,0,0,0,0,0,1,0,0,1,1,1,1,1,1,0, 0,0,1,0,0,0) M4 =(0,0,0,1,0,0,0,0,0, 1,0,0,0,0,0,0,0,0) T Ω=(0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,0, 0,0,1,0,1,1) M5 =(0,0,0,0,0,1,0,0,0, 0,0,0,0,0,0,0,0,0) T Ω=(0,0,0,0,0,0,0,1,0,1,0,1,1,1,1,1, 1,1,0,1,1,1) M6 =(0,0,0,0,0,0,1,0,0, 0,0,0,0,1,0,0,0,0) T Ω=(0,0,0,0,0,0,0,1,0,1,1,0,1,1,1,0, 0,0,0,1,1,1) M7 =(0,0,0,1,0,0,0,1,0, 1,0,0,0,0,0,0,0,0) T Ω=(0,0,0,0,0,0,0,0,0,1,1,1,0,1,1,0, 0,0,0,0,1,1) M8 =(0,0,0,0,0,0,0,0,1,1,1,1,0) T Ω=(00,0,0,0,0,0,0,1,0,1,1,1,1,1,1,0 ,0,0,0,0,0,0) M9 =(0,0,0,0,0,0,0,0,0, 1,0,0,0,0,0,0,0,0) T
Ω=(0,0,0,0,0,0,0,1,0,1,1,1,1,1,1,0, 0,0,0,0,1,1) M10 =(0,0,0,0,0,0,0,0,0, 0,1,0,0,0,0,0,0,0) T Ω=(0,0,0,0,0,0,0,1,0,1,1,1,1,1,1,1,
1,1,0,1,0,1) M11 =(0,0,0,0,0,0,0,0,0, 0,0,1,0,0,0,0,0,0) T Ω=(0,0,0,0,0,0,0,1,0,1,1,1,1,1,1,1, 1,1,0,1,1,0) M12 =(0,1,1,1,0,0,0,1,1,0, 1,1,0,0,0,0,1,0) T Ω=(0,0,1,0,0,0,1,0,0,1,1,1,0,1,0,0, 0,0,0,0,0,0) M13 =(0,1,1,1,0,0,0,1,0, 0,1,1,0,0,0,1,1,0) T Ω=(0,0,1,0,0,0,1,0,0,1,1,1,0,0,0,0, 0,0,0,0,0,0) M14 =(0,0,1,1,0,0,0,1,0, 0,1,1,1,0,0,1,0,1) T Ω=(1,1,1,1,1,1,1,0,0,0,1,1,0,0,0,0, 0,0,1,0,0,0)
M15 =(0,1,1,1,1,0,0,1,1, 0,1,1,0,0,0,0,1,0) T
Ω=(0,0,1,0,0,0,1,0,1,1,1,1,0,1,0,0, 0,0,0,0,0,0) M16 =(0,1,1,1,1,0,0,1,0, 0,1,1,0,0,0,1,1,0) T Ω=(10,0,1,0,0,0,1,0,1,1,1,1,0,0,0,0
,0,0,0,0,0,0)
M17 =(0,0,1,1,0,0,0,1,0, 0,1,1,1,0,1,1,0,1) T Ω=(1,1,1,1,1,1,1,0,1,0,1,1,0,0,0,0, 0,0,1,0,0,0) M18 =(0,0,1,1,0,0,0,0,1, 0,1,1,0,0,0,0,1,0) T Ω=(0,0,0,0,0,0,1,0,0,1,1,1,1,1,0,0, 0,0,0,0,0,0) M19 =(0,0,1,1,0,0,0,0,0, 0,1,1,0,0,0,1,1,0) T Ω=(0,0,0,0,0,0,1,0,0,1,1,1,1,0,0,0,
0,0,0,0,0,0)
M20 =(0,0,1,1,0,0,0,0,0, 0,1,1,0,0,0,1,0,1) T Ω=(0,0,0,0,0,0,1,0,0,1,1,1,1,0,0,0, 0,0,1,0,0,0)
M21 =(0,0,0,1,0,0,0,0,0, 0,0,0,0,0,0,0,1,0) T Ω=(0,0,0,0,0,0,0,0,0,1,1,1,1,1,0,0, 0,0,0,0,1,1) M22 =(0,0,0,1,0,0,0,0,0, 0,0,0,0,0,0,0,0,1) T Ω=(0,0,0,0,0,0,0,0,0,1,1,1,1,1,0,0, 0,0,1,0,1,1) M23 =(0,0,0,0,0,0,1,0,0, 0,0,0,0,1,0,0,0,0) T Ω=(0,0,0,0,0,0,0,0,0,1,1,0,1,1,1,0, 0,0,0,0,1,1) M24 =(0,0,0,1,0,0,1,0,0, 1,0,0,0,0,0,0,0,0) T Ω=(0,0,0,0,0,0,0,0,0,1,1,0,1,1,0,0, 0,0,0,0,1,1) M25 =(0,0,0,1,0,0,1,0,0, 0,0,0,0,0,0,0,0,1) T Ω=(0,0,0,0,0,0,0,0,0,1,1,0,1,1,0,0, 0,0,1,0,1,1) M28 =(0,0,0,1,0,0,0,1,0, 0,0,0,0,0,0,0,1,0) T Ω=(0,0,0,0,0,0,0,0,0,1,1,1,0,1,0,0, 0,0,0,0,1,1) M27 =(0,0,0,1,0,0,0,1,0, 0,0,0,0,0,0,0,0,1) T Ω=(0,0,0,0,0,0,0,0,0,1,1,1,0,1,0,0, 0,0,1,0,1,1) M28 =(0,0,0,0,0,0,0,0,1, 0,1,1,0,0,0,0,1,0) T Ω=(0,0,0,0,0,0,0,1,0,1,1,1,1,1,0,0, 0,0,0,0,0,0) M29 =(0,0,0,0,0,0,0,0,0, 0,1,1,0,0,0,1,1,0) T Ω=(0,0,0,0,0,0,0,1,0,1,1,1,1,0,0,0, 0,0,0,0,0,0) M30 =(0,0,0,0,0,0,0,0,1, 0,1,1,0,0,0,1,0,1) T Ω=(0,0,0,0,0,0,0,1,0,1,1,1,1,0,0,0, 0,0,1,0,0,0)
M31 =(0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,1,0) T
Ω=(0,0,0,0,0,0,0,1,0,1,1,1,1,1,0,0, 0,0,0,0,1,1) M32 =(0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,1) T Ω=(0,0,0,0,0,0,0,1,0,1,1,1,1,1,0,0, 0,0,1,0,1,1) T=10 detik T=10 detik T=10 detik T=10 detik T=10 detik T=10 detik T=10 detik T=20 detik T= 24 jam T=10 detik T=10 detik T=20 detik T=10 detik T=10 detik T=10 detik T=20 detik T=10 detik T=10 detik T=10 detik T=20 detik T=10 detik

## Gambar 2 Diagram ketercapaian

## 5 Kesimpulan
Melalui seluruh hasil perancangan dan analisis dapat ditarik beberapa kesimpulan dalam penelitian ini.
1. Hasil  analisis  terhadap  masukan  dan  keluaran  pada Safety  Shutdown  Sysytem pada  kepala  sumur  menunjukkan  tidak  adanya  konflik  dan  kontradiksi  yang menjamin  sifat  aman  dan  kesinambungan  sistemdengan  nilai  transparansi sebesar 0.86 dari skala 1.
2. Hasil simulasi diagram ladder hasil terjemahan dari JPST dan diagram ladder yang secara  langsung  dirancang  dari  logic  diagram  menunjukan  sedikit  perbedaan. Perbedaan tersebut dikarenakan asumsi yang digunakan dalam merancang JPST. Namun kedua diagram ladder menunjukan sifat aman dan berkesinambungan.

## 6 Daftar Pustaka
[1] Viswanadham,  N.;  Narahari,  Y., Performance  Modeling  of  Automated  Manufacturing Systems, New York, Prentice Hall .
[2] Frey, George; Litz, Lothar, Transparency Analysis of Petri Net Based Logic Controllers-A Measure  for  Software  Quality  in  Automation ,  Proceedings  of  The  American  Control Conference ACC 2000, Chicago, 28-30 June 2000.
[3] Frey, George, Automatic Implementation of Petri Net Based Control Algoruthms on PLC , Proceedings  of  The  American  Control  Conference  ACC  2000,  Chicago,  28-30  June 2000.