[Lecture Topic Task] Basic TLA+ model for the course enrollment process

[PedroRodz]

Objective: To create a basic TLA+ model for a university course enrollment app(RegiUpr) that accurately captures core processes Description: The task involves developing a TLA+ model that simulates the functionality of a course enrollment app. The model should define key processes like capacity and prerequisites.

Expected Outcome: A basic list of phenomena that describe how features work and that can be built upon in the future adding more key processes.

Difficulty: 4

Priority: 4

Assignee: @PedroRodz

[PedroRodz]

@michellebou @Ar2691

[PedroRodz]