Article Per Year (5 Year)
p-Index From 2021 - 2026
2.083
P-Index
This Author published in this journals
All Journal IAES International Journal of Robotics and Automation (IJRA) JURNAL MATEMATIKA STATISTIKA DAN KOMPUTASI Fountain of Informatics Journal RESEARCH : Computer, Information System & Technology Management JURNAL AGRI-TEK Jurnal Ilmiah Matematika dan Pendidikan Matematika (JMP) Jurnal Pengabdian, Pendidikan dan Teknologi Jurnal Daya Mas : Media Komunikasi dan Informasi Hasil Pengabdian dan Pemberdayaan Masyarakat Pilar Teknologi : Jurnal Penelitian Ilmu-ilmu Teknik Journal of Information Technology Ampera Seminar Nasional Hasil Riset dan Pengabdian (SNHRP)
Joko Triono
Universitas Merdeka Madiun
Agriculture, Biological Sciences & Forestry Humanities Automotive Engineering Computer Science & IT Control & Systems Engineering Decision Sciences, Operations Research & Management Education Electrical & Electronics Engineering Law, Crime, Criminology & Criminal Justice Mathematics Public Health Social Sciences Other

Published : 13 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 13 Documents
Search

 1   2 
THE CONSERVATION NUMBERS IN THE PETRI NET MODEL OF THREE-PHASE TRAFFIC LIGHTS WITH THE NORWEGIAN SYSTEM Tomi Tristono; Setiyo Daru Cahyono; Joko Triono; Mochamad Sidqon; Seno Aji; Sudarno Sudarno; Nanang Junaedi
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.
PEMBERDAYAAN PAGUYUBAN PETANI MUDA DESA DEMANGAN KOTA MADIUN MELALUI PROGRAM PKM BERBASIS TEKNOLOGI TEPAT GUNA DALAM MEWUJUDKAN DESA SWASEMBADA PANGAN Muhammad Hasan Basri; Sudarno Sudarno; Hery Hermawan; Joko Triono; Meirza Aulia Chairani
Jurnal Pengabdian Pendidikan dan Teknologi (JP2T) Vol 7, No 1 (2026)
Publisher : Universitas Negeri Malang

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.17977/um080v7i12026p1-10

Abstract

Tujuan untuk meningkatkan soft skill Petani Muda Kelurahan Demangan Kota Madiun menuju Desa Swasembada Pangan, maka tim pelaksana Program Kemitraan Masyarakat dengan Mitra Petani Muda Kelurahan Demangan maka akan merumuskan alternative solusi berdasarkan prioritas aspek permasalahan yang sangat krusial. Adapun ruang lingkup prioritas aspek permasalahan yang pertama aspek peningkatan kapasitas hasil panen padi melalui Teknologi Tepat Guna MPPBP dan yang kedua pelatihan soft skill untuk pemeliharaan bagi Petani Kelurahan Demangan melalui Teknologi Tepat Guna MPPBP. Berkaitan dengan kedua aspek tersebut maka pada program kemitraan masyarakat akan ditawarkan solusi. Untuk aspek peningkatan kapasitas hasil panen padi melalui Teknologi Tepat Guna Mesin Pengering Padi Berbasis Photovoltaic (MPPBP), kami tawarkan solusi melalui pelatihan, dan pendampingan sistem pengoperasian teknologi tepat guna. Untuk aspek peningkatan soft skill bagi Petani Demangan melalui Teknologi Tepat Guna MPPBP, hasil dari Perancangan Mesin Pengering Padi Berbasis Photovoltaic (MPPBP) melalui paguyuban petani muda, dan pembinaan soft skill sistem pemeliharaan Mesin MPPBP untuk menuju Desa Swasembada Pangan, serta meningkatkan produksi petani. Dari kedua aspek strategis tersebut maka dilakukan dengan pendekatan sumber daya masyarakat, serta potensi nilai-nilai sosial dan budaya untuk menuju Desa Swasembada Pangan. Arah dari peningkatan soft skill petani Desa Swasembada Pangan melalui Teknologi Tepat Guna Mesin Pengering Padi Berbasis Photovoltaic, yang akan dilaksanakan beberapa tahapan, diantaranya : mengidentifikasi para petani padi yang ada di Kelurahan Demangan Kota Madiun; pemetahan lahan pertanian; serta pembinaan intelektual para petani Kelurahan Demangan untuk menuju Desa Swasembada Pangan.
Traffic Lights for a Five-Arm Intersection Using Petri Net Models Tomi Tristono; Setiyo Daru Cahyono; Sukadi Sukadi; Joko Triono; Seno Aji; Sudarno Sudarno; Mochamad Sidqon
Jurnal Matematika, Statistika dan Komputasi Vol. 22 No. 3 (2026): May 2026
Publisher : Department of Mathematics, Hasanuddin University

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.20956/j.v22i3.49752

Abstract

This study aims to examine the traffic light model for a five-arm intersection. Two types of traffic light models were studied, namely the standard type and the modified Norwegian type. Traffic lights have a fixed phase scheduling sequence. The traffic light modeling method uses Petri nets to graphically represent the behavioral structure of mathematical modeling symbols in distributed discrete systems. The results of the study show that the Occurrence Graph of the standard traffic light and the modified Norwegian traffic light meet the Coverability Tree requirements for all possible finite states. The Coverability Tree method also includes the properties of boundedness and conservation, along with all transition sequences that fire. The Petri net model satisfies the live property because it never enters a deadlock or a state where no transition can fire. The Petri net model has also satisfied the Invariants property, which represents signal behavior that does not change over time. The Petri net model is declared correct and valid because it satisfies all required properties. The model can present the structure of traffic light behavior at a five-arm intersection.
Co-Authors Alfian Eka Felani Daniel Wahyu Suprayoga Prabowo Fardiana Karuniawati Hery Hermawan meirza aulia chairani Mochamad Sidqon Mochamad Sidqon Muhammad Hasan Basri Nanang Junaedi Nanang Junaedi Pradityo Utomo Pradityo Utomo Seno Aji Seno Aji Seno Aji Setiyo Daru Cahyono Setiyo Daru Cahyono Setiyo Daru Cahyono Shania Putri Windiastik Sudarno Sudarno Sudarno Sudarno Sukadi Sukadi Tomi Tristono Tomi Tristono Tomi Tristono Tomi Tristono Yayi Suryo Prabandari Yuda Febri Astrawinata