📂 Exercise 1 Graded ▰▰▰
Graded ▰▰▰Specification and simulation of a robotic arm control system using classical Petri Nets. The task involves modeling the lifting process, safety checks, and joint failure handling for a dual-joint robotic arm. Counters must record total attempts, failed pre-checks, and outcomes for right, left, or both joint malfunctions, as well as successful operations, using HPetriSim across 100 simulations.
- Prompt
- Report
- Sample solution
- Grade: 7.5/10
📂 Exercise 2 Graded ▰▰▰
Graded ▰▰▰Exercise 2 involves usability evaluation with the KLM-Form Analyzer and heuristic methods. It includes modeling user interactions on the Facebook signup page and assessing two university websites for usability issues and improvements.
- Prompt
- Report
- Sample solution
- Grade: 9/10
📂 Exercise 3 Graded ▰▰▰
Graded ▰▰▰Exercise 3 focuses on analyzing ChatGPT-generated implementations of Kaprekar’s routine using Halstead metrics. It requires identifying calculation errors in the AI-produced metric tables for both the Python and ANSI C versions, recomputing the correct values with detailed operator/operand breakdowns, and evaluating the AI’s comparison of the two implementations.
- Prompt
- Report
- Sample solution
- Grade: 8/10
📂 Exercise 4 Graded ▰▰▰
Graded ▰▰▰Exercise 4 focuses on software testing and code quality analysis. It requires analyzing a C program to understand its logic, compute cyclomatic complexity, identify basic execution paths, and design corresponding test cases, as well as performing black-box and white-box testing on an e-shop order processing function, covering edge cases, validation rules, and special business logic.
- Prompt
- Report
- Sample solution
- Grade: 8/10
📂 Exercise 5 Graded ▰▰▰
Graded ▰▰▰Exercise 5 focuses on peer reviewing five anonymous Petri Net submissions from other students. I evaluated each model for accuracy, completeness, and logical consistency, providing structured feedback based on the official grading guidelines.
- Prompt
- Report (zip)
- Grade: 9.5/10
CEID 2025–26