Analisis Semantik dalam Pemodelan Pengelolaan Naskah Jurnal Menggunakan Petri Net

Abstract

Pengembangan pengelolaan jurnal merupakan bagian penting di Perguruan Tinggi. Jurnal merupakan salah satu media publikasi yang menjadi rujukan peneliti dalam mengembangkan bahan penelitiannya. Pengelolaan jurnal memiliki beberapa bagian alur proses salah satunya evaluasi naskah jurnal.

Penelitian ini bertujuan untuk memodelkan pengelolaan naskah jurnal kemudian merepresentasikan hasil perbaikan model kedalam rekomendasi proses pengelolaan naskah jurnal tersebut. Hasil pemodelan petri net menghasilkan graph yang belum sound dan terdapat bagian yang tidak live. Perbaikan struktur model menggunakan analisis struktur yaitu analisis semantik. Dari hasil analisis dihasilkan perbaikan alur place dan transition yang membuat graph yg soundness dan liveness. Hasil model perbaikan tersebut kemudian menjadi masukan untuk rekomendasi perbaikan sistem pada alur pengelolaan naskah jurnal.

Kata Kunci—Proses Bisnis, Petri Net, Soundness, Liveness.