Formal Model of Informatics Undergraduate Curriculum in Petri Nets
Main Article Content
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.
Article Details
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
Authors who publish with this journal agree to the following terms:
- Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgment of the work's authorship and initial publication in this journal.
- Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgment of its initial publication in this journal.
- Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work.