ABSTRAKSI: Sistem akademik di Program Studi Strata 1 Teknik Informatika, Institut Teknologi Telkom merupakan sekumpulan aturan dan prosedur mengenai kurikulum dan program studi, evaluasi keberhasilan studi, sidang akademik, perwalian dan registrasi. Kurikulum dan program studi berkaitan erat dengan mata kuliah; evaluasi keberhasilan studi berkenaan dengan indeks prestasi; sidang akademik berkenaan dengan status kelulusan mahasiswa; perwalian dan registrasi berkaitan dengan rencana studi mahasiswa.
Jurnal ini membahas pemodelan formal dan analisis model sistem akademik dengan menggunakan jaringan petri. Pemodelan formal memberikan keluaran berupa model jaringan petri dan analisisnya untuk memeriksa kesesuaian dengan sistem akademik. Dari hasil pengujian model, sistem akademik mempunyai beberapa kekurangan seperti tidak adanya pengecekan prasyarat mata kuliah dalam proses registrasi dan tidak dilakukan sidang akademik tingkat II dan III. Selain itu, dengan model sistem akademik yang ada, dapat disusun kurikulum masa studi 3 tahun.
Kata Kunci : kurikulum, registrasi, sidang akademik, jaringan petriABSTRACT: Academic system in study program Bachelor degree of Informatics Engineering, Telkom Institute of Technology defines rules and procedures of curriculum and study program, evaluation of study, academic council, counseling and registration. Curriculum and study program explain the subjects; evaluation of study deals with grade point; academic council evaluates graduation status of student; counseling and registration discuss student’s study plan.
This journal investigates formal modeling and model analysis of this academic system in petri nets. The result of this final project is petri nets model and its analysis to check properties based on the academic system. Based on the developed model, academic system has weaknesses i.e. there is no checking in course requirement and no academic council on second and third grade. It also possible to build 3-years study of curriculum.
Keyword: curriculum, registration, academic council, petri nets