Article Per Year (5 Year)
p-Index From 2021 - 2026
3.979
P-Index
This Author published in this journals
All Journal Jurnal Pelita Pendidikan NIKe Jurnal Ilmiah Perikanan dan Kelautan | Fisheries and Marine Scientific Journal Jurnal Online Mahasiswa (JOM) Bidang Teknik dan Sains Jurnal Online Mahasiswa (JOM) Bidang Keguruan dan Ilmu Pendidikan AKSIOMA: Jurnal Program Studi Pendidikan Matematika Jurnal Teknologi Hasil Pertanian Jurnal Kesehatan Ilmiah Indonesia / Indonesian Health Scientific Journal Contemporary Mathematics and Applications (ConMathA) Didaktik : Jurnal Ilmiah PGSD STKIP Subang Range : Jurnal Pendidikan Matematika BALANGA: Jurnal Pendidikan Teknologi dan Kejuruan Jendela Pendidikan JURPIKAT (Jurnal Pengabdian Kepada Masyarakat) Warta Pengabdian Andalas: Jurnal Ilmiah Pengembangan Dan Penerapan Ipteks MANAJEMEN Jurnal Ilmiah Kesehatan Masyarakat Jurnal Pengabdian Masyarakat Bidang Sosial dan Humaniora Al Naqdu: Jurnal Kajian Keislaman Inisiatif: Jurnal Ekonomi, Akuntansi Dan Manajemen E-JRM Jurnal Nuansa: Publikasi Ilmu Manajemen dan Ekonomi Syariah Atmosfer: Jurnal Pendidikan, Bahasa, Sastra, Seni, Budaya, Dan Sosial Humaniora Jurnal Kompetitif Bisnis Jurnal Media Akademik (JMA) MERDEKA: Jurnal Ilmiah Multidisiplin Jurnal Intelek Dan Cendikiawan Nusantara Jurnal Imiah Pengabdian Pada Masyarakat (JIPM) Jurnal Vokasi Keperawatan (JVK) Jurnal Ekonomi Manajemen Dan Bisnis (JEMB) An Najah (Jurnal Pendidikan Islam dan Sosial Keagamaan) Hidayah : Cendekia Pendidikan Islam dan Hukum Syariah Jejak digital: Jurnal Ilmiah Multidisiplin JUPIKMAS Al Naqdu: Jurnal Kajian Keislaman
Suci Rahmawati
Unknown Affiliation
Religion Agriculture, Biological Sciences & Forestry Arts Humanities Civil Engineering, Building, Construction & Architecture Computer Science & IT Decision Sciences, Operations Research & Management Dentistry Economics, Econometrics & Finance Education Energy Engineering Environmental Science Health Professions Languange, Linguistic, Communication & Media Law, Crime, Criminology & Criminal Justice Library & Information Science Materials Science & Nanotechnology Mathematics Medicine & Pharmacology Nursing Public Health Social Sciences Veterinary Other

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

Found 1 Documents
Search
Journal : Range : Jurnal Pendidikan Matematika

 1 
Analisis Coverability Tree Petri Net Sistem Antrian Loket Pendaftaran Rumah Sakit X Di Kota Kupang Farly Oktriany Haning; Maria Lobo; Suci Rahmawati; Elisabeth Brielin Sinu
RANGE: Jurnal Pendidikan Matematika Vol. 4 No. 2 (2023): RANGE Januari 2023
Publisher : Pendidikan Matematika UNIMOR

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.32938/jpm.v4i2.3753

Abstract

Model petri net dari sistem antrian di loket pendaftaran pasian pada suatu rumah sakit di Kota Kupang telah dikonstruksi. Analisis coverability tree dari petri net tersebut perlu dilakukan untuk melihat apakah sistem yang telah dibangun sesuai dengan kenyataan dan dapat terus berlangsung (liveness) atau dapat terjadi deadlocks. Adapun langkah-langkah penelitian ini dimulai dengan melakukan studi literatur terkait analisis petri net dan pengamatan alur layanan pada loket pendaftaran pasien. Selanjutnya, membentuk petri net dari alur layanan menggunakan bantuan software PIPE.V.4.3.2.0. Kemudian matriks incidence diperoleh dengan mengurangkan entri pada matriks representasi forward incidence ( ) dengan entri matriks backward incidence ( ) dari petri net. Matriks digunakan untuk analisis coverability tree dengan menggunakan vektor keadaan awal ( ) sebagai simpul pertama dari tree. Simpul berikutnya dihasilkan jika terdapat transisi enable yang di-fire. Keadaan awal merupakan vektor keadaan saat belum ada transisi yang di-fire. Dinamika petri net yang terjadi dimodelkan dalam coverability tree. Hasil yang diperoleh adalah tidak terjadi deadlocks pada sistem karena selalu ada transisi yang enable atau dapat di-fire yaitu transisi kedatangan pasien. Pada coverabilty tree yang dihasilkan, keadaan setelah pendaftaran selesai dilakukan sama dengan vektor keadaan awal.
Co-Authors Abraham Pranata Sitinjak ABS, M Khoirul Adam Agung Darmawan Ahmad Yani Alfian Anhar Angella Putri Ramadhani Anita Marianata, Anita Annisa Fitriani Ayuni Harianti Az-zhara Diah Putri Nugroho Azizah Azis Azmia Siti Munasifah Azya Maharani Oktaputri Chika Muthi’atul Fadhilah Didin Nurwahidin Difana Meilani Dimas Ganjar Pinasti Dio aguswantoro Dwi Ishartani Dwi Kurnia Dwi Kurnia Putri Edhi Nurhartadi Elisabeth Brielin Sinu Falha Himatul Aliyah Farly Oktriany Haning Fauzan Adhipratama Arasyid Firdaus Annas Firmansyah Firmansyah Gun Faisal Gusriani, Ika Hasim . Hermandra ' I Made Alit Widnyana Ibrahim Ayattulah Ilone Virginia Oktavian Insan Saputra Joni Ahmad Mughni Kamelia Agnesta Kurnia Dewiani Lina Marlina Liss Dyah Dewi Arini Liza Efriyanti, liza Lusi Susanti Lutfiyah Hakim M. Agus Salim Mangatur Sinaga MARIA LOBO Mohonia Sabarito Sitohang Muhamad Nauval Ardani Muhammad Farhan Zein Muhammad Yusuf Nasution Muhyi, Asep Abdul Mulis . Nazar Faddilah Neng Nazma Aulia Nisa Afrawasih Novianti Novianti Novrita, Sri Zulfia Nurul Hafiza Ainanur Palahudin Palahudin Pedia Aldy Pipit Prima Fithri Puji Hujria Suci Puspaneli Puspaneli Raihani Fauziah Ratu Ilma Indra Putri Regina Bhayangkara Rina Erlita Rizky Arta Harianto Rose Intan Perma Sari Rossana Sapta Kusumah Salsanabilah Rahmawati Septi Permatasari Sherly Afiyani Nurhidayati siti bariroh Siti Hindun Siti Khulasoh Siti Nadya Safira Sri Harini Sularno Supriadi Tri Danang Kurniawan Tsazkiya Aqiila Salsabila Tuti Anggriani Utama Ulfa Nadiatur Rahmi Vania Nabila Arisanti Wafa Jannatul Ma’wa Wafa Syakila Wan Muhammad Fariq Wica Elvina Widiarti Permana Sari Wildan Ahmad Wulan Indriani Yetti Purnama Yuliati, Dian Yusanti, Linda Yusuf Andika Rachmat