Analisis Dan Verifikasi Workflow Mengggunakan Petri (Studi kasus; Proses Bisnis di Universitas Sebelas Maret)

Abstract

Elemen penting suksesnya sebuah organisasi adalah kemampuannya untuk terus-menerus mengembangkan kinerja
bisnis prosesnya karena semakin baik proses bisnis suatu organisasi, semakin baik pula kinerja organisasi tersebut. Proses
bisnis banyak dimodelkan sebagai workflow dengan menggunakan BPMN (Business Process Modelling Notation) karena
BPMN memiliki fitur dan notasi yang mampu menggambarkan bisnis proses seperti kondisi yang real. Pada penelitian
sebelumnya proses bisnis Universitas Sebelas Maret (UNS) telah dimodelkan dalam BPMN namun belum diketahui apakah
proses bisnis UNS tersebut sudah optimal dan terbebas dari kesalahan yang tidak diinginkan atau belum karena BPMN tidak
memiliki fitur untuk menganalisis workflow, karena itu diperlukan analisis tambahan pada model BPMN untuk mengetahui
apakah proses bisnis tersebut sudah terbebas dari kesalahan. Dengan adanya analisis tambahan akan diperoleh model proses
bisnis yang terbebas dari deadlock dan livelock sebelum diimplementasikan. Sehingga rekayasa proses bisnis (Business
Process Reengineering)diharapkan menjadi lebih efisien dalam hal waktu dan uang. Perangkat untuk memodelkan,
menganalisis workflow adalah PetriNets .Workflow dalam bentuk Petri nets dapat diverifikasi dengan menggunakan tool
woped.
Tujuan dari penelitian ini adalah melakukan verifikasi apakah proses bisnis di UNS tersebut sudah terbebas dari
kesalahan dengan menggunakan PetriNets dan memberikan rekomendasi proses bisnis yang yang terbebas dari deadlock dan
livelock untuk UNS dengan cara mengubah model proses bisnis BPMN ke dalam notasi workflow PetriNets kemudian
dilakukan analisis dan verifikasi dengan woped. Penelitian ini diharapkan menghasilkan rekomendasi proses bisnis UNS yang
terbebas dari deadlock dan livelock yang tidak diinginkan. Tujuan selanjutnya diharapkan penelitian ini bisa menghasilkan
metode yang bisa menjadi rujukan para pemangku kepentingan dalam mengambil keputusan pada saat akan melakukan
rekayasa proses bisnis pada organisasi yang dipimpinnya.
Kata kunci: Bisnis Proses Modeling, BPMN, verifikasi, Petri Nets