Claim Missing Document
Check
Articles

Found 12 Documents
Search

IDENTIFIKASI JENIS ANCAMAN BENCANA DAN PERKIRAAN DAMPAKNYA PADA LINGKUNGAN SEKITAR Rendrarini, Diana; Fatmawati, Laily; Susila, Candra Budi; Meifani, Nely Indra; Sukadi, Sukadi; Tristono, Tomi; Susilo, Hendro
Jurnal Penelitian dan Pengabdian Kepada Masyarakat UNSIQ Vol 11 No 2 (2024): Mei
Publisher : Lembaga Penelitian, Penerbitan dan Pengabdian Masyarakat (LP3M) UNSIQ

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.32699/ppkm.v11i2.6730

Abstract

Studi ini bertujuan untuk mengidentifikasi jenis ancaman bencana dan prediksi dampaknya bagi Desa Sukoharjo, Kec./ Kabupaten Pacitan. Kami menggunakan metode wawancara pada penduduk setempat untuk menggali data empiris. Wawancara dilaksanakan pada saat diskusi kajian risiko bencana partisipatif tahun 2022 dalam rangka konstruksi Desa Tangguh Bencana (DESTANA). Hasil studi menyatakan bahwa ancaman bencana untuk Desa Sukoharjo, yaitu banjir dan sampah rumah tangga. Pada Dusun Prambon dan Dusun Nitikan yang wilayahnya berada di dataran tinggi, terdapat ancaman tanah longsor. Tingkat resiko banjir yang sifatnya tahunan terutama pada alam/ lingkungan, fisik/ infrastruktur, dan roda perekonomian tergolong tinggi serta dampaknya dikatagorikan agak parah, parah, sangat parah. Sedangkan tingkat resiko tanah longsor secara umum dampaknya tidak parah dan agak parah. Dampak bencana karena sampah rumah tangga dikatagorikan parah. Sampah yang hanyut bersama aliran sungai Jelok dapat menyumbat bendungan air dan menyebabkan banjir.
THE CONSERVATION NUMBERS IN THE PETRI NET MODEL OF THREE-PHASE TRAFFIC LIGHTS WITH THE NORWEGIAN SYSTEM Tristono, Tomi; Cahyono, Setiyo Daru; Triono, Joko; Sidqon, Mochamad; Aji, Seno; Sudarno, Sudarno; Junaedi, Nanang
Jurnal Ilmiah Matematika dan Pendidikan Matematika Vol 17 No 2 (2025): Jurnal Ilmiah Matematika dan Pendidikan Matematika (JMP)
Publisher : Universitas Jenderal Soedirman

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.20884/1.jmp.2025.17.2.18067

Abstract

The Petri net model can be used to represent the discrete state behavior structure of traffic light signals. The Petri net model is also capable of presenting three-phase traffic light scheduling synchronization. This study aims to examine the three-phase traffic light Petri net model that implements the Norwegian system. The Petri net model must pass validation and verification tests, including the use of several Place-Invariants, its boundedness property, conservation, coverability for all states, and simulation. The study results indicate that the model complies with all Place-Invariants, meets all required properties, and the simulation is also accurate. Place-Invariants in each phase must include a dummy. The three-phase traffic light Petri net model with the Norwegian system has a conservation number that applies to the model as a whole. The conservation number is an extension of Place-Invariant that only applies partially to the model.