Journal of Informatics and Communication Technology (JICT)
Vol 4 No 1 (2022)

Formal Model of Informatics Undergraduate Curriculum in Petri Nets

Aditya Bagoes Saputra (Institut Teknologi Telkom Jakarta)

Article Info

Publish Date
20 Jul 2022

Abstract

The academic system in the undergraduate program of Informatics, Bandung Telkom Institute of Technology (now Telkom University) defines rules and procedures of curriculum and study program, evaluation of study, academic council, counseling, and registration. The curriculum and study program explain the courses. This paper develops formal model and model analysis of this curriculum in Petri nets. The result of this is the Petri nets model and its analysis to check properties based on the courses and curriculum. The course prerequisite model and curriculum follow the academic system, not deadlocked, and not reversible.

Copyrights © 2022




Citation Download
RIS
EndNote, Reference Manager, ProCite
BibTex
Latex, Jabref
Original Source
Download Original
Google Scholar
Check in Google Scholar
Journal Info
Journal of Informatics and Communication Technology (JICT)
Website

Abbrev

j_ict

Publisher

Akademi Teknik Telekomunikasi Sandhy Putra

Subject

Computer Science & IT Decision Sciences, Operations Research & Management Education Engineering Mathematics

Description

ournal of Informatics and Communication Technology (JICT) is a peer-reviewed, scientific journal published by "Penelitian dan Pengabdian Pada Masyarakat (PPM)" Institut Teknologi Telkom Jakarta. The aim of this journal is to publish articles dedicated to all aspects of the latest outstanding ...